Mercurial > docs > diploma

annotate thesis/scripts/complete-bibtex.sh @ 372:6477e7827617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added scripts for improved index generation and complete bibtex generation
author meillo@marmaro.de
date Sat, 31 Jan 2009 20:07:58 +0100
parents
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 # run bibtex also on the web bib
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 "complete-bibtex.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 <bibinput> ..."
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 "$@" web ; do
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
14 echo "processing $i"
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
15 bibtex "$i"
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
16 done