Ensure that the texinfo manual can be converted to HTML.
authorGuus Sliepen <guus@tinc-vpn.org>
Sat, 25 Jun 2011 13:28:13 +0000 (15:28 +0200)
committerGuus Sliepen <guus@tinc-vpn.org>
Sat, 25 Jun 2011 13:28:13 +0000 (15:28 +0200)
commit2c5ded652035bfaa204a7e1cc6766efb87135569
tree51309c18fafe11b2794dc3c31c10c444575d7e55
parente8deda0b23463599a7533e82cf038a01062956a7
Ensure that the texinfo manual can be converted to HTML.

Somehow commit 2c30af6c90926340a89748c63cc453b1c0b5a589 was not properly
merged.
doc/tinc.texi