#!/bin/sh for auxfile in bu*.aux; do if test -n "`grep citation $auxfile`"; then tmpfile=`basename $auxfile .aux`; echo "\\citation{configLP}" | cat - $tmpfile.aux > $tmpfile.tmp; mv $tmpfile.tmp $tmpfile.aux; bibtex $tmpfile; echo "gawk in use for $auxfile"; gawk -f biblio/Xlipnbib.awk $tmpfile.bbl > $tmpfile.tmp; mv $tmpfile.tmp $tmpfile.bbl; fi; done