Ensure that the texinfo manual can be converted to HTML.
authorGuus Sliepen <guus@tinc-vpn.org>
Sun, 11 Oct 2009 12:20:14 +0000 (14:20 +0200)
committerGuus Sliepen <guus@tinc-vpn.org>
Sun, 11 Oct 2009 12:20:14 +0000 (14:20 +0200)
commit2c30af6c90926340a89748c63cc453b1c0b5a589
treecb8160c984eef4aa524e24f677e84681e8b9b4c8
parenta4f132770dc136d456c67b01d209e73f5f4d7a65
Ensure that the texinfo manual can be converted to HTML.

The top node was made conditional with the @iftex command, since it should not
appear in PostScript and PDF output. However, it is still necessary for
texi2html, so we have to use @ifnottex instead.

Texi2html also complains about the use of @cindex in the copyright statement,
so we remove that.
doc/tinc.texi