K 10
svn:author
V 7
thierry
K 8
svn:date
V 27
2005-02-20T18:11:36.000000Z
K 7
svn:log
V 367
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

END