Re: [AUCTeX] new release?

[Mosè Giordano]

Hi Ralf!

2014-10-11 10:45 GMT+02:00 Ralf Angeli <address@hidden>:
> * Norbert Preining (2014-10-11) writes:
>
>> The point is that texi2html has been declared obsolete in Debian,
>> and should not be used to build packages.
>>
>> This is actually a consequence of upstream pulling the plug:
>>       http://www.nongnu.org/texi2html/
>> ...The Texi2HTML maintainers (one of whom is the principal author of the GNU 
>> Texinfo implementation) do not intend to make further releases of 
>> Texi2HTML.....
>
> Just as a note aside, because it is not relevant for the build process
> of AUCTEX: Texi2HTML is also used to generate the HTML documentation for
> the gnu.org web pages via the gendocs.sh script.  See
> <URL:http://www.gnu.org/prep/maintain/maintain.html#Invoking-gendocs_002esh>.
> And I seem to recall that it always produced better results than
> makeinfo, at least for the AUCTeX manuals.

I just produced the AUCTeX manual with both makeinfo and texi2html:
the makeinfo manual is not so bad, the main (only?) differences with
the texi2html one are the navigation bars, the smaller section
headers, and the ToC at the beginning of the manual, while texi2html
places it at the end.

The gendoc script isn't relevant for the Debian package, so I think we
can replace texi2html with makeinfo in the configure script and then
go ahead with the new release.  Comments?

Bye,
Mosè