|
|
1.1 ! root 1: if test -s ../$1/$1.ms ! 2: then ! 3: FILE=../$1/$1.ms ! 4: else ! 5: if test -s ../$1 ! 6: then ! 7: FILE=../$1 ! 8: else ! 9: if test -s $1 ! 10: then ! 11: FILE=$1 ! 12: fi ! 13: fi ! 14: fi ! 15: echo $FILE ! 16: sed -n -f ../index/tools/fontch.sed $FILE >tmp ! 17: awk ' ! 18: /^\.CW / { ! 19: if($0 ~ /"/){ ! 20: n=split($0,a,"\"") ! 21: term = a[2] ! 22: } ! 23: else{ term = $2 ! 24: if(NF == 2){ ! 25: getline ! 26: term = term " " $1 ! 27: } ! 28: } ! 29: print term ! 30: }' $FILE >>tmp ! 31: sort tmp|uniq ! 32: rm tmp ! 33: ! 34:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.