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