Ensure that the texinfo manual can be converted to HTML.

Somehow commit 2c30af6c90 was not properly
merged.
This commit is contained in:
Guus Sliepen 2011-06-25 15:28:13 +02:00
parent e8deda0b23
commit 2c5ded6520

View file

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