../ doc/ 01-Jul-2024 19:35 - script/ 01-Jul-2024 19:35 - COPYING 01-Jul-2024 19:35 35147 NEWS 01-Jul-2024 19:35 9798 README.md 01-Jul-2024 19:35 3871 texdoc.cnf 01-Jul-2024 19:35 17474