Mercurial > docs > diploma

annotate thesis/scripts/improve-index.sh @ 395:0d78755132b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lots of small fixes and cleanups
author meillo@marmaro.de
date Sat, 07 Feb 2009 14:47:27 +0100 (2009-02-07)
parents 6477e7827617
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
372
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
1 #!/bin/sh
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
2 #
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
3 # improve index source data and generate the index
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
4
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
5 echo "improve-index.sh"
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
6 echo "@: $@"
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
7
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
8 if [ $# -eq 0 ] ; then
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
9 echo "usage: $0 <idxinput> ..."
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
10 exit 1
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
11 fi
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
12
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
13 for i in "$@" ; do
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
14 echo "processing $i.idx"
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
15 mv "$i.idx" "$i.unprocessed.idx"
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
16 <"$i.unprocessed.idx" `dirname $0`/improve-index.awk >"$i.idx"
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
17 done
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
18
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
19 makeindex "$@"