diff options
| author | Eli Zaretskii <[email protected]> | 2000-10-31 18:48:19 +0000 |
|---|---|---|
| committer | Eli Zaretskii <[email protected]> | 2000-10-31 18:48:19 +0000 |
| commit | a28afc5f9215400b899ce27a2be0e685cdc1dfb0 (patch) | |
| tree | d5eeeb5a34ba3eb0d5df45105d54e998f95acb95 | |
| parent | 4836835a23ad989986b7de9432512b004e45f1e3 (diff) | |
Fix the @setfilename line.
| -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 2d7ddd45d2..b786d56d08 100644 --- a/man/gnus.texi +++ b/man/gnus.texi @@ -1,6 +1,6 @@ \input texinfo @c -*-texinfo-*- -*- coding: iso-latin-1 -*- -@setfilename gnus +@setfilename ../info/gnus @settitle Gnus Manual @synindex fn cp @synindex vr cp |