Support request for providing the TeX Live Docker images
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