- 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.