extract-tex.pl: Kleine Dokumentationskorrekturen.
tree0051dd9da1ca00b27af3d32550a1fb22f466146a
-rw-r--r-- 227 .gitignore
-rw-r--r-- 50 .mailmap
-rw-r--r-- 2606 LICENSE.data
-rw-r--r-- 836 MANIFEST
-rw-r--r-- 14526 Makefile
drwxr-xr-x - daten
drwxr-xr-x - dehyph-exptl
drwxr-xr-x - dokumente
drwxr-xr-x - muster
drwxr-xr-x - skripte
-rw-r--r-- 17280369 wortliste
drwxr-xr-x - zusatzlisten