On 18 September 2015 at 08:09, Vincent Belaïche <[email protected]> wrote: > It could not be so big, because we should make texi2dvi/texindex > backward compatible with the older extensions and make the update in > texinfo.tex one or two years later than for texi2dvi/texindx, assuming > that all user would have an uptodate texi2dvi/texindex at that time.
Additionally, it would end up being supported forever, two different naming schemes in texi2dvi. Anyone modifying texi2dvi would waste time looking at code to support the multiple naming schemes, and scrolling past it in the text editor. As well as wasting time thinking about it and trying to work out if it'll affect other changes they want to make to texi2dvi.
