docs/diploma
view thesis/scripts/improve-index.sh @ 409:ca763bd8c809
Added tag final version which I handed in for changeset ee7211546c02
| author | meillo@marmaro.de |
|---|---|
| date | Wed, 11 Feb 2009 08:55:32 +0100 |
| parents | |
| children |
line source
1 #!/bin/sh
2 #
3 # improve index source data and generate the index
5 echo "improve-index.sh"
6 echo "@: $@"
8 if [ $# -eq 0 ] ; then
9 echo "usage: $0 <idxinput> ..."
10 exit 1
11 fi
13 for i in "$@" ; do
14 echo "processing $i.idx"
15 mv "$i.idx" "$i.unprocessed.idx"
16 <"$i.unprocessed.idx" `dirname $0`/improve-index.awk >"$i.idx"
17 done
19 makeindex "$@"