summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Albinus <michael.albinus@gmx.de>2016-08-16 09:48:24 +0200
committerMichael Albinus <michael.albinus@gmx.de>2016-08-16 09:48:24 +0200
commit5783984787998f8222d66338efa61f0741466a54 (patch)
tree10e87f455e163e13c6af59e85f5b3efea602f7f7
parent126f95a708d637941e9eae1b023a87733bb5fd38 (diff)
Rearrange Tramp manual title page
* doc/misc/tramp.texi: Move @insertcopying out of the title page. Do not use @ifnottex anymore.
-rw-r--r--doc/misc/tramp.texi5
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi
index 5e04a2d5a2..8a144a5d02 100644
--- a/doc/misc/tramp.texi
+++ b/doc/misc/tramp.texi
@@ -58,14 +58,11 @@ copy and modify this GNU manual.''
@title @value{tramp} version @value{trampver} User Manual
@author by Daniel Pittman
@author based on documentation by Kai Großjohann
-@page
-@insertcopying
@end titlepage
@contents
-@ifnottex
@node Top, Overview, (dir), (dir)
@top @value{tramp} version @value{trampver} User Manual
@@ -99,8 +96,8 @@ There is a mailing list for @value{tramp}, available at
@uref{http://lists.gnu.org/archive/html/tramp-devel/, the
@value{tramp} Mail Archive}.
+@page
@insertcopying
-@end ifnottex
@menu
* Overview:: What @value{tramp} can and cannot do.