diff options
| author | Karl Berry <karl@gnu.org> | 2004-03-09 00:01:14 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 2004-03-09 00:01:14 +0000 |
| commit | a534eb10be2ae70377dc3dc786993ce77e3766d4 (patch) | |
| tree | 7d2c47c3cbb4b9726be83a68d73e0d127e48334d | |
| parent | 1a9c959bb2a459db4212926e62e0d9ce5e83bdc6 (diff) | |
| download | emacs-a534eb10be2ae70377dc3dc786993ce77e3766d4.tar.gz | |
\input texinfo.tex instead of just texinfo, to
avoid problems making the texinfo distribution.
| -rw-r--r-- | man/info.texi | 5 |
1 files changed, 4 insertions, 1 deletions
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 |