#!/bin/sh
#
# improve index source data and generate the index

echo "improve-index.sh"
echo "@: $@"

if [ $# -eq 0 ] ; then
	echo "usage: $0 <idxinput> ..."
	exit 1
fi

for i in "$@" ; do
	echo "processing $i.idx"
	mv "$i.idx" "$i.unprocessed.idx"
	<"$i.unprocessed.idx" `dirname $0`/improve-index.awk >"$i.idx"
done

makeindex "$@"