2020-07-07 19:37:23 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
for INFO in $(ls */info.txt); do
|
|
|
|
DIR=$(dirname $INFO)
|
2020-07-07 20:54:45 +02:00
|
|
|
echo "*** processing $(basename $DIR) ***"
|
|
|
|
(cd $DIR && make clean byodbins)
|
2020-07-07 19:37:23 +02:00
|
|
|
done
|
2022-01-28 04:36:55 +01:00
|
|
|
|
|
|
|
make dict2dawg
|