echo "-----------" >> /tmp/makeindex.log
echo "-----------" 
pwd >> /tmp/makeindex.log
echo $* >> /tmp/makeindex.log
/usr/bin/makeindex $*
echo args $*
idxname=`echo $* | sed 's/-.//g' | sed 's/^ *//g'`
echo idxname ^$idxname^
indname=`echo $idxname | sed 's/.idx$/.ind/g'`
mv $indname $indname.bak
makeindex.pl < $indname.bak > $indname
cat $indname > /tmp/makeindex.ind









































