diff options
| -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 |