hack for texi2dvi on debian

doc/texinfo/Makefile

-# $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