# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 973018099 0
# Node ID 4f7feff5008f6abe437394679b7841ec5b78f50e
# Parent  2fa4da972c03933c4df4ea5f513ba3a51dfbf42d
Fix the @setfilename line.

diff -r 2fa4da972c03 -r 4f7feff5008f man/gnus.texi
--- a/man/gnus.texi	Tue Oct 31 18:14:00 2000 +0000
+++ b/man/gnus.texi	Tue Oct 31 18:48:19 2000 +0000
@@ -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