extract-tex.pl: Kleine Verbesserungen.
treee777e99806c5b342070474a11e901461d0039176
-rw-r--r-- 272 .gitignore
-rw-r--r-- 50 .mailmap
-rw-r--r-- 2630 LICENSE.data
-rw-r--r-- 835 MANIFEST
-rw-r--r-- 27997 Makefile
drwxr-xr-x - daten
drwxr-xr-x - dehyph-exptl
drwxr-xr-x - dokumente
drwxr-xr-x - exzerpte
drwxr-xr-x - muster
drwxr-xr-x - skripte
-rw-r--r-- 17520781 wortliste
drwxr-xr-x - zusatzlisten