#!/bin/sh
#
# run bibtex also on the web bib

echo "complete-bibtex.sh"
echo "@: $@"

if [ $# -eq 0 ] ; then
	echo "usage: $0 <bibinput> ..."
	exit 1
fi

for i in "$@" web ; do
	echo "processing $i"
	bibtex "$i"
done