Can doc/ contain documentation independently of source/

Karl Berry karl at
Thu Feb 6 00:13:11 CET 2020

    - doc/ is for PDFs and material that is used to produce them, 

FWIW, I think it is good for the direct sources for a pdf to be in the
same directory as the pdf. It has helped me plenty of times to be able
to look at / grep text files that are "right there". --best, karl.

More information about the tex-live mailing list.