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 /man | |
parent | 4836835a23ad989986b7de9432512b004e45f1e3 (diff) |
Fix the @setfilename line.
Diffstat (limited to 'man')
-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 |