|
|
researchv10 Dan Cross
if test -s ../$1/$1.ms
then
FILE=../$1/$1.ms
else
if test -s ../$1
then
FILE=../$1
else
if test -s $1
then
FILE=$1
fi
fi
fi
echo $FILE
sed -n -f ../index/tools/fontch.sed $FILE >tmp
awk '
/^\.CW / {
if($0 ~ /"/){
n=split($0,a,"\"")
term = a[2]
}
else{ term = $2
if(NF == 2){
getline
term = term " " $1
}
}
print term
}' $FILE >>tmp
sort tmp|uniq
rm tmp
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.