> From: Christopher Dimech <[email protected]> > Cc: [email protected], [email protected] > 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.
