Hi Norbert,
2014-10-10 14:27 GMT+02:00 Norbert Preining <[email protected]>:
> 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
[email protected]
https://lists.gnu.org/mailman/listinfo/auctex
