diff --git a/doc/texinfo/Makefile b/doc/texinfo/Makefile
index fdd23b999dd8aa7fff03a4a819557f46c865327d..b5184a2c601480f1e35280d2a93481689ecc6692 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