makeinfo 4.8 doesn't produce good HTML output from groff.texinfo.
commitb1655b295988694fb05b8388a953357c7c4804a8
authorWerner LEMBERG <wl@gnu.org>
Tue, 15 Mar 2005 10:14:15 +0000 (15 10:14 +0000)
committerWerner LEMBERG <wl@gnu.org>
Tue, 15 Mar 2005 10:14:15 +0000 (15 10:14 +0000)
tree106406aa515a29455080432c42647997672b5c45
parentd31755b5eb6a930af3fcbd2fc38cf1f9db23b62e
makeinfo 4.8 doesn't produce good HTML output from groff.texinfo.

* doc/fixinfo.sh: New script to postprocess makeinfo's HTML output.

* doc/Makefile.in (.texinfo.html): Call fixinfo.sh.
ChangeLog
doc/Makefile.in
doc/fixinfo.sh [new file with mode: 0644]