docs/diploma

view thesis/scripts/complete-bibtex.sh @ 402:e57129f57faa

finished the indexing in a huge last effort
author meillo@marmaro.de
date Sun, 08 Feb 2009 22:51:42 +0100
parents
children
line source
1 #!/bin/sh
2 #
3 # run bibtex also on the web bib
5 echo "complete-bibtex.sh"
6 echo "@: $@"
8 if [ $# -eq 0 ] ; then
9 echo "usage: $0 <bibinput> ..."
10 exit 1
11 fi
13 for i in "$@" web ; do
14 echo "processing $i"
15 bibtex "$i"
16 done