* doc/misc/tramp.texi: Adapt 2016-08-14 change for makeinfo 4.

diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi
index d64d5e5ebac0b6f11833afc79dbf2c66fa028050..5e04a2d5a274b463d7dcc59f2b320afbcc5a7a76 100644 (file)
--- 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