diff man/info.texi @ 54317:5bb4ac4ec8d7

\input texinfo.tex instead of just texinfo, to avoid problems making the texinfo distribution.
author Karl Berry <karl@gnu.org>
date Tue, 09 Mar 2004 00:01:14 +0000
parents c92801a25b2f
children 1801d78c3f81 1281a5c8fb39
line wrap: on
line diff
--- 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