Support request for providing the TeX Live Docker images

Karl Berry karl at freefriends.org
Thu May 12 23:19:42 CEST 2022


Hi Paulo - does anyone actually use +src/-doc and -src/+doc, that is,
only one or the other? I would expect people to either want "everything"
(+src/+doc) or "as little as possible" (-src/-doc). (Also, src is tiny
compared to doc, and thus presumably relatively unimportant wrt building.)

I'm glad other people have come forward to discuss options. --best, karl.


More information about the tex-live mailing list.