docs/diploma
annotate thesis/scripts/improve-index.sh @ 399:a641bea7a087
added source for call graph, modified Makefile; adjusted includegraphics
| author | meillo@marmaro.de |
|---|---|
| date | Sat, 07 Feb 2009 22:51:17 +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 "$@" |