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