> From: Christopher Dimech <dim...@gmx.com> > Cc: gavinsmith0...@gmail.com, help-texinfo@gnu.org > Date: Wed, 23 Jun 2021 20:52:44 +0200 > > > 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. > > Quite likely. I compare it with how I customarily install other > development versions in Gnu for testing. There seem to be many > considerations when installing texinfo.
What's special about Texinfo is that texinfo.tex is distributed by other packages as well, and only the user knows which version he/she wants. Installing a wrong version can easily render the entire installation unusable.
