diff options
| -rw-r--r-- | man/gnus.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/gnus.texi b/man/gnus.texi index 2d7ddd45d21..b786d56d087 100644 --- a/man/gnus.texi +++ b/man/gnus.texi | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | \input texinfo @c -*-texinfo-*- -*- coding: iso-latin-1 -*- | 1 | \input texinfo @c -*-texinfo-*- -*- coding: iso-latin-1 -*- |
| 2 | 2 | ||
| 3 | @setfilename gnus | 3 | @setfilename ../info/gnus |
| 4 | @settitle Gnus Manual | 4 | @settitle Gnus Manual |
| 5 | @synindex fn cp | 5 | @synindex fn cp |
| 6 | @synindex vr cp | 6 | @synindex vr cp |