> From: Christopher Dimech <[email protected]> > Date: Wed, 23 Jun 2021 20:20:49 +0200 > Cc: help-texinfo gnu <[email protected]> > > Of course, but I also give you a point of thought from user perspective. > > That way, the texinfo installation could also handle the additional > > make TEXMF=/your/texmf install-tex > texinfo.tex is installed in ${TEXMF}/tex/texinfo/texinfo.tex, etc.
That would clobber existing installations it TeX Live etc., so it's not a good idea to do that by default, without the user's say-so. > I disagree on the additional tex/texinfo/ part of the installation I think your perspective is biased in this aspect.
