From 2c5ded652035bfaa204a7e1cc6766efb87135569 Mon Sep 17 00:00:00 2001
From: Guus Sliepen <guus@tinc-vpn.org>
Date: Sat, 25 Jun 2011 15:28:13 +0200
Subject: [PATCH] Ensure that the texinfo manual can be converted to HTML.
Somehow commit 2c30af6c90926340a89748c63cc453b1c0b5a589 was not properly
merged.
---
doc/tinc.texi | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
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
--
2.39.5