From 6344cbf1df3bce01f80528daad739dfc87910e4d Mon Sep 17 00:00:00 2001
From: David Kastrup <dak@gnu.org>
Date: Mon, 17 Jun 2002 14:43:03 +0000
Subject: [PATCH] use correct @setfilename

---
 man/tramp.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/man/tramp.texi b/man/tramp.texi
index 5123f6c7ffb..c6f588b45ae 100644
--- a/man/tramp.texi
+++ b/man/tramp.texi
@@ -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
-- 
2.11.4.GIT