../ texdoc-doc.cls 01-May-2024 19:41 6726 texdoc.1 01-May-2024 19:41 3900 texdoc.pdf 01-May-2024 19:41 89531 texdoc.tex 01-May-2024 19:41 36422