../ texdoc-doc.cls 27-Oct-2024 19:42 6726 texdoc.1 27-Oct-2024 19:42 3900 texdoc.pdf 27-Oct-2024 19:42 89531 texdoc.tex 27-Oct-2024 19:42 36422