Files
-rw-r--r-- | 85 | root | root | /usr/share/texlive/texmf-dist/makeindex/mkgrkindex/lowercase-headers.ist |
-rw-r--r-- | 84 | root | root | /usr/share/texlive/texmf-dist/makeindex/mkgrkindex/uppercase-headers.ist |
-rwxr-xr-x | 8113 | root | root | /usr/share/texlive/texmf-dist/scripts/mkgrkindex/mkgrkindex |