M=/usr/vol2/index/tools
j=`basename $1`
awk -f $M/theadings.awk $j.tex|sed -f $M/head.sed
