Hi Norbert, 2014-10-10 14:27 GMT+02:00 Norbert Preining <prein...@logic.at>: > Hi Mosè, > >> How should the absence of texi2html addressed? I use Debian but I >> didn't look into this so far. > > Well, there is texi2html, but it is a special package. > texinfo since version 5.0, that is since quite some time, > ships a decent makeinfo that can convert most things. > > If you can test for makeinfo or texinfo >= 5.0, then > instead of running texi2html, run makeinfo --html. > > I have actually taken a look into your git repository, and made > the attached patch for testing purposes. But it does not do > checking of version of makeinfo ...
I get the same errors reported by Tassilo, and the rule make dist TAG=11.87 fails with your patch. How come AUCTeX fails to compile? Isn't texi2html a build dependency? I installed that package and I can produce the HTML documentation and the PDF and DVI as well. Bye, Mosè _______________________________________________ auctex mailing list auctex@gnu.org https://lists.gnu.org/mailman/listinfo/auctex