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