#!/bin/sh
if [ $# = 3 ]; then
  INFILE=`basename $3 .idx`.idx
  OUTFILE=`basename $3 .idx`.ind
else
  INFILE=`basename $1 .idx`.idx
  OUTFILE=`basename $1 idx`.ind
fi

cat > $OUTFILE << AAA
\\begin{theindex}
AAA

sort $INFILE |sed -e 's/\\indexentry/  \\item /' -e 's/}{/}\\dotfill{/' \
  -e 's/\\unhbox \\voidb@x \\kern \.06em \\vbox {\\hrule width.3em}/\\_/'\
	 >> $OUTFILE

cat >> $OUTFILE << BBB
\\end{theindex}
BBB


