From a534eb10be2ae70377dc3dc786993ce77e3766d4 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 9 Mar 2004 00:01:14 +0000 Subject: [PATCH] \input texinfo.tex instead of just texinfo, to avoid problems making the texinfo distribution. --- man/info.texi | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/man/info.texi b/man/info.texi index 24a6c4bbc46..deab84b37af 100644 --- a/man/info.texi +++ b/man/info.texi @@ -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 -- 2.39.5