../ doc/ 05-Jul-2025 19:35 - script/ 05-Jul-2025 19:35 - COPYING 05-Jul-2025 19:35 35147 NEWS 05-Jul-2025 19:35 9992 README.md 05-Jul-2025 19:35 3871 texdoc.cnf 05-Jul-2025 19:35 17692