From 6890cdfba74a66dfe9887f1b69ee31f7d0e28e74 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 12 Jul 2007 16:23:32 +0000
Subject: [PATCH] hack for texi2dvi on debian

---
 doc/texinfo/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/texinfo/Makefile b/doc/texinfo/Makefile
index fdd23b999d..b5184a2c60 100644
--- a/doc/texinfo/Makefile
+++ b/doc/texinfo/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile,v 1.12 2006-11-27 22:22:33 geuzaine Exp $
+# $Id: Makefile,v 1.13 2007-07-12 16:23:32 geuzaine Exp $
 #
 # Copyright (C) 1997-2007 C. Geuzaine, J.-F. Remacle
 #
@@ -20,7 +20,7 @@
 # Please report all bugs and problems to <gmsh@geuz.org>.
 
 dvi:
-	texi2dvi gmsh.texi 
+	TEX=latex;texi2dvi gmsh.texi 
 
 ps: dvi
 	dvips gmsh -o
-- 
GitLab