Re: Broken makeinfo? [was: Re: Fix this]
>>>> "Jan" == Jan Vroonhof
<vroonhof(a)math.ethz.ch> writes:
Jan> Martin Buchholz <martin(a)xemacs.org> writes:
> I merely imported the info.texi file from the texinfo
distribution.
Jan> Isn't this a bad idea in itself..? The documentation we ship should
This is the way it's always been...
Jan> document the code we ship, in particular our versions of texinfo.el
Jan> and texinfmt.el. Let the makeinfo program carry its own version of
Jan> 'info.texi'. (Yes I know these will shadow each other, but that is
Jan> just the dir system being broken).
> Now that I look at it, there is only 2 occurrence of ï¼ ifnottex
in
> man/, so it is actually reasonable to change them, for now, assuming
> this causes no problems for texi2html.
Jan> That might be difficult as the new version was introduced for
Jan> texi2html. Anyhow, I would say "scr*w texi2html".
> Do we actually know that makeinfo from 3.12 fails, while 3.12f
works fine?
Jan> This version fails...
Jan> urysohn:/scratch/vroonhof/xemacs/man> makeinfo --version
Jan> makeinfo (GNU texinfo 3.12) 1.68
Jan> Note that this version comes from TeXLive 3.99 which is one of the
Jan> most up to date TeX distributions there is.
Jan> Does anybody have teTeX 1.0 installed to check which version that uses?
We could of course revert to the previous versions of info.texi and
texinfo.texi. But my choice would be to fix the problems with the
current .texi files. Or delete them.
Martin