# HG changeset patch
# User David Kastrup <dak@gnu.org>
# Date 1024324983 0
# Node ID 112a1c9eb59b742960dad6982832b09a6fe8c615
# Parent  c66e6aeb3d336ccfa95500d3db4461992902a780
use correct @setfilename

diff -r c66e6aeb3d33 -r 112a1c9eb59b man/tramp.texi
--- a/man/tramp.texi	Mon Jun 17 14:42:34 2002 +0000
+++ b/man/tramp.texi	Mon Jun 17 14:43:03 2002 +0000
@@ -1,6 +1,6 @@
 \input texinfo   @c -*-texinfo-*-
 @c %**start of header
-@setfilename tramp.info
+@setfilename ../info/tramp
 @settitle TRAMP User Manual
 @setchapternewpage odd
 @c %**end of header
@@ -11,8 +11,8 @@
 @c Version values, for easy modification
 @c NOTE: The 'UPDATED' value is updated by the 'time-stamp' function.
 @c       If you change it by hand, the modifications will not stay.
-@set VERSION $Revision: 2.20 $
-@set UPDATED Friday, 14 June, 2002
+@set VERSION $Revision: 1.1 $
+@set UPDATED Monday, 17 June, 2002
 
 
 @c Entries for @command{install-info} to use