annotate thesis/scripts/complete-bibtex.sh @ 409:ca763bd8c809 default tip

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 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 # 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