diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/tramp.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi index d64d5e5eba..5e04a2d5a2 100644 --- a/doc/misc/tramp.texi +++ b/doc/misc/tramp.texi @@ -65,8 +65,8 @@ copy and modify this GNU manual.'' @contents -@node Top, Overview, (dir), (dir) @ifnottex +@node Top, Overview, (dir), (dir) @top @value{tramp} version @value{trampver} User Manual This file documents @value{tramp} version @value{trampver}, a remote file |