|
|
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
awk '
/^\.I / {
if($0 ~ /"/){
n=split($0,a,"\"")
term = a[2]
}
else{ term = $2
if(NF == 2){
getline
term = term " " $1
}
}
print term
}
/^\.I$/ {
getline
print $0
}' $FILE
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.