X-Git-Url: https://www.tinc-vpn.org/git/browse?a=blobdiff_plain;f=doc%2Ftinc.texi;h=7fa4719ee31a103390613859a52c5366adf23620;hb=2c5ded652035bfaa204a7e1cc6766efb87135569;hp=c5956d9af50aaeea35ef76d186d41872aeab787e;hpb=e8deda0b23463599a7533e82cf038a01062956a7;p=tinc

diff --git a/doc/tinc.texi b/doc/tinc.texi
index c5956d9a..7fa4719e 100644
--- a/doc/tinc.texi
+++ b/doc/tinc.texi
@@ -37,7 +37,6 @@ permission notice identical to this one.
 
 @page
 @vskip 0pt plus 1filll
-@cindex copyright
 This is the info manual for @value{PACKAGE} version @value{VERSION}, a Virtual Private Network daemon.
 
 Copyright @copyright{} 1998-2011 Ivo Timmermans,
@@ -55,7 +54,7 @@ permission notice identical to this one.
 
 @end titlepage
 
-@ifinfo
+@ifnottex
 @c ==================================================================
 @node Top
 @top Top
@@ -72,7 +71,7 @@ permission notice identical to this one.
 * About us::
 * Concept Index::               All used terms explained
 @end menu
-@end ifinfo
+@end ifnottex
 
 @c ==================================================================
 @node    Introduction