Fix compilation of custom indent with texi2html v5.0
authorBart Polot <bart@net.in.tum.de>
Tue, 23 Aug 2011 14:47:33 +0000 (14:47 +0000)
committerBart Polot <bart@net.in.tum.de>
Tue, 23 Aug 2011 14:47:33 +0000 (14:47 +0000)
commit82bc399e73ece054ac4b71a541f5d5a6776fbdd8
tree1aba7448a4047944617614c2347c90c6720aa66c
parentc4e01e5171ffa1aa50d155f312a2ed3cf3cbc826
Fix compilation of custom indent with texi2html v5.0
contrib/texi2html5-indent.diff [new file with mode: 0644]