Cut out unused private copy of texi2html.
commit50e689ee1ec6bfcf8d576b8d7d528113f1d6470a
authorRobert Dodier <robert_dodier@users.sourceforge.net>
Mon, 20 Dec 2021 06:57:22 +0000 (19 22:57 -0800)
committerRobert Dodier <robert_dodier@users.sourceforge.net>
Tue, 11 Jan 2022 05:19:55 +0000 (10 21:19 -0800)
tree3b79148e488226dc76185f277f8d0b8e083596f7
parent740c2ecbb22a5739c44d2130180e602e3e3c5153
Cut out unused private copy of texi2html.
Superseded by makeinfo --html in the documentation build.
doc/info/Makefile.am
doc/info/build_html.sh.in
doc/info/texi2html [deleted file]