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 "$@" |