Re: File missing from the git: texinfo/texinfo.tex

Joel Brobecker
2013-10-24T11:37:48Z

> > The argument for this choice is mainly that it is more true to the
> > history. E.g., with the current git repository you can't faithfully
> > re-create old releases.
>
> Yeah. If it were up to me, I'd just bite the bullet and do this.

FWIW, same for me.

--
Joel