From 126f95a708d637941e9eae1b023a87733bb5fd38 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Mon, 15 Aug 2016 12:48:01 -0400 Subject: * doc/misc/tramp.texi: Adapt 2016-08-14 change for makeinfo 4. --- doc/misc/tramp.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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 -- cgit v1.2.3