Use makeinfo to generate html doc for the new website
authorTimothy Gu <timothygu99@gmail.com>
Mon, 1 Sep 2014 02:39:35 +0000 (19:39 -0700)
committerMichael Niedermayer <michaelni@gmx.at>
Thu, 4 Sep 2014 00:34:20 +0000 (02:34 +0200)
commit17ad5fbb8af3ea3fad689064bc84ecfdfe52f0c2
treee8e16ee908b4e0ba2c9d4cdfb6f053e0c6d9cd2c
parent75a9859ac67b60105769fda7160db081216b70f2
Use makeinfo to generate html doc for the new website

texi2html is deprecated by upstream in favor of makeinfo/texi2any. See:

- https://www.gnu.org/software/texinfo/manual/texinfo/html_node/texi2html.html
- https://wiki.debian.org/Texi2htmlTransition
- https://lists.debian.org/debian-devel/2013/05/msg01516.html

This is actually two separate changes.

Based on a patch by Andreas Cadhalpun <Andreas.Cadhalpun@googlemail.com>.

Fixes Trac ticket #3232.

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Changelog
RELEASE_NOTES
configure
doc/Makefile
doc/platform.texi
doc/t2h.init
doc/t2h.pm [new file with mode: 0644]