Fix doc generation, broken since the upgrade to teTeX 3.0.

According to Hiroki Sato:

"In teTeX 3.0, pdfetex is used for a DVI output, so the texinfo.tex
 always detects the PDF output feature.  Although there are several means
 to fix this problem, I think disabling such detection should be simple
 and enough."

Reported by:	kris via pointyhat
Obtained from:	hrs
This commit is contained in:
Thierry Thomas 2005-02-20 18:11:36 +00:00
parent c8ca3b2977
commit 7f31fdaadd
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=129386

View file

@ -0,0 +1,7 @@
--- doc/texinfo/texinfo.tex.orig Mon Feb 21 01:11:47 2005
+++ doc/texinfo/texinfo.tex Mon Feb 21 01:19:52 2005
@@ -1,3 +1,4 @@
+\let\pdfoutput\undefined
% modified for gmsh -- see 'gmsh' tags
%
% texinfo.tex -- TeX macros to handle Texinfo files.