Jan> Martin Buchholz <martin(a)xemacs.org&gt; writes: 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). Jan> That might be difficult as the new version was introduced for Jan> texi2html. Anyhow, I would say "scr*w texi2html". 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