John Darrington <j...@gnu.org> skribis: > * build-aux/texinfo.tex,ref: New file, copied from texlive-minimal > * bootstrap: Use it, if newer than the texinfo.tex from automake.
Sorry for the delay. I think we should not add texinfo.tex to our repo. As you discussed in the rest of the thread, it’s supposed to be copied by “automake -a”, so we might want to wait for a new Automake release. Also, the canonical source for texinfo.texi is Texinfo, not TeX Live. Ludo’.
