diff options
| -rw-r--r-- | man/tramp.texi | 6 |
1 files 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 @@ | |||
| 1 | \input texinfo @c -*-texinfo-*- | 1 | \input texinfo @c -*-texinfo-*- |
| 2 | @c %**start of header | 2 | @c %**start of header |
| 3 | @setfilename tramp.info | 3 | @setfilename ../info/tramp |
| 4 | @settitle TRAMP User Manual | 4 | @settitle TRAMP User Manual |
| 5 | @setchapternewpage odd | 5 | @setchapternewpage odd |
| 6 | @c %**end of header | 6 | @c %**end of header |
| @@ -11,8 +11,8 @@ | |||
| 11 | @c Version values, for easy modification | 11 | @c Version values, for easy modification |
| 12 | @c NOTE: The 'UPDATED' value is updated by the 'time-stamp' function. | 12 | @c NOTE: The 'UPDATED' value is updated by the 'time-stamp' function. |
| 13 | @c If you change it by hand, the modifications will not stay. | 13 | @c If you change it by hand, the modifications will not stay. |
| 14 | @set VERSION $Revision: 2.20 $ | 14 | @set VERSION $Revision: 1.1 $ |
| 15 | @set UPDATED Friday, 14 June, 2002 | 15 | @set UPDATED Monday, 17 June, 2002 |
| 16 | 16 | ||
| 17 | 17 | ||
| 18 | @c Entries for @command{install-info} to use | 18 | @c Entries for @command{install-info} to use |