Support request for providing the TeX Live Docker images

Paulo Roberto Massa Cereda cereda.paulo at gmail.com
Fri May 13 00:03:10 CEST 2022


Hi Karl!

 > does anyone actually use +src/-doc and -src/+doc, that is,
 > only one or the other?

I can think of texdoc.org, which uses -src/+doc. :)

 > I'm glad other people have come forward to discuss options.

As we speak, we are testing some options. Thanks so much to everyone who 
offered help via mailing list and offline. I promise to write a follow 
up once we have done a couple of experiments. :)

Cheerio,

Paulo


More information about the tex-live mailing list.