Python Skript update.
[wortliste.git] / skripte / 
tree94276c2bc0f2434c13689d99f29e94ef283719b0
drwxr-xr-x   ..
-rw-r--r-- 730 HOWTO.new-words
-rw-r--r-- 5811 MANIFEST
-rw-r--r-- 3582 apply-pattern.pl
-rw-r--r-- 5877 diff-patgen-input.awk
-rw-r--r-- 5354 diff-patgen-input.sh
-rw-r--r-- 14475 erzeuge-wortliste.pl
-rw-r--r-- 9941 extract-tex.pl
-rw-r--r-- 311 hyph2wl.sh
-rw-r--r-- 92 log2words.sed
drwxr-xr-x - lua
-rw-r--r-- 2035 make-full-pattern.sh
-rw-r--r-- 247 make-hyphenlist.sh
-rwxr-xr-x 403 merge-wordslists.sh
-rw-r--r-- 631 prepare-wordlist.sh
drwxr-xr-x - python
-rwxr-xr-x 3763 sort.py
-rw-r--r-- 597 strippunct.sed
-rw-r--r-- 3666 validate.lua
-rw-r--r-- 274 words2tex.sed