# HG changeset patch
# User Karl Berry <karl@gnu.org>
# Date 1078790474 0
# Node ID 5bb4ac4ec8d734df3df2f37052435fc4a3ec5fd5
# Parent  0b81a282eca36b0d7607b72ca284beebce0e1a69
\input texinfo.tex instead of just texinfo, to
avoid problems making the texinfo distribution.

diff -r 0b81a282eca3 -r 5bb4ac4ec8d7 man/info.texi
--- a/man/info.texi	Mon Mar 08 21:47:59 2004 +0000
+++ b/man/info.texi	Tue Mar 09 00:01:14 2004 +0000
@@ -1,4 +1,7 @@
-\input texinfo    @c -*-texinfo-*-
+\input texinfo.tex    @c -*-texinfo-*-
+@c We must \input texinfo.tex instead of texinfo, otherwise make
+@c distcheck in the Texinfo distribution fails, because the texinfo Info
+@c file is made first, and texi2dvi must include . first in the path.
 @comment %**start of header
 @setfilename info.info
 @settitle Info