extract-tex.pl: Korrigiere Behandlung von `<ยท`.
tree366d93c96fe9278980bb940fdd4413970b5eefc7
-rw-r--r-- 227 .gitignore
-rw-r--r-- 50 .mailmap
-rw-r--r-- 2630 LICENSE.data
-rw-r--r-- 835 MANIFEST
-rw-r--r-- 15585 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-- 17518606 wortliste
drwxr-xr-x - zusatzlisten