(TXT)
plainpkg-doc.tex
(TXT)
srcfiles.tex