Re: [AUCTeX] new release?

[Mosè Giordano]

Hi Norbert,

2014-10-10 14:27 GMT+02:00 Norbert Preining <address@hidden>:
> 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è