Koma-Script doc/source files installed with doc/source disabled

[Norbert Preining]

Phil,

On Mon, 25 Jul 2022, Philip Taylor (Hellenic Institute) wrote:
> for his or her sole personal use.  It is the TeX Live installer that
> requires attention, not Markus's licence.

Then it is our decision and you have no call. Make your own distribution
if you want to.


Norbert

--
PREINING Norbert                              https://www.preining.info
Mercari Inc.     +     IFMGA Guide     +     TU Wien     +     TeX Live
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13