Generate HTML doc using makeinfo, instead of obsolecent texi2html
authorYann Dirson <ydirson@free.fr>
Thu, 5 Dec 2013 20:19:06 +0000 (21:19 +0100)
committerYann Dirson <ydirson@free.fr>
Thu, 5 Dec 2013 20:19:06 +0000 (21:19 +0100)
commit467b6aec32e3fa0b2e9f09fa90a7a76f78d61eea
tree32a191bfab8def22e0667e62cafe18d69e5e587c
parent4d9929fd417def4018cd25287ecd994ef5374d09
Generate HTML doc using makeinfo, instead of obsolecent texi2html
doc/Makefile.in