diff options
| author | Karl Berry | 2004-03-09 00:01:14 +0000 |
|---|---|---|
| committer | Karl Berry | 2004-03-09 00:01:14 +0000 |
| commit | a534eb10be2ae70377dc3dc786993ce77e3766d4 (patch) | |
| tree | 7d2c47c3cbb4b9726be83a68d73e0d127e48334d | |
| parent | 1a9c959bb2a459db4212926e62e0d9ce5e83bdc6 (diff) | |
| download | emacs-a534eb10be2ae70377dc3dc786993ce77e3766d4.tar.gz emacs-a534eb10be2ae70377dc3dc786993ce77e3766d4.zip | |
\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 @@ | |||
| 1 | \input texinfo @c -*-texinfo-*- | 1 | \input texinfo.tex @c -*-texinfo-*- |
| 2 | @c We must \input texinfo.tex instead of texinfo, otherwise make | ||
| 3 | @c distcheck in the Texinfo distribution fails, because the texinfo Info | ||
| 4 | @c file is made first, and texi2dvi must include . first in the path. | ||
| 2 | @comment %**start of header | 5 | @comment %**start of header |
| 3 | @setfilename info.info | 6 | @setfilename info.info |
| 4 | @settitle Info | 7 | @settitle Info |