docs/diploma

annotate thesis/scripts/improve-index.sh @ 392:b4611d4e1484

applied comments by henry atting
author meillo@marmaro.de
date Sat, 07 Feb 2009 11:42:45 +0100
parents
children
rev   line source
meillo@372 1 #!/bin/sh
meillo@372 2 #
meillo@372 3 # improve index source data and generate the index
meillo@372 4
meillo@372 5 echo "improve-index.sh"
meillo@372 6 echo "@: $@"
meillo@372 7
meillo@372 8 if [ $# -eq 0 ] ; then
meillo@372 9 echo "usage: $0 <idxinput> ..."
meillo@372 10 exit 1
meillo@372 11 fi
meillo@372 12
meillo@372 13 for i in "$@" ; do
meillo@372 14 echo "processing $i.idx"
meillo@372 15 mv "$i.idx" "$i.unprocessed.idx"
meillo@372 16 <"$i.unprocessed.idx" `dirname $0`/improve-index.awk >"$i.idx"
meillo@372 17 done
meillo@372 18
meillo@372 19 makeindex "$@"