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