#! /bin/sh
# This is a generated file. Do not edit it.
# If you call this as a batch file, it creates
# the bibliography for the HTML output.

bibtex usersguide-bib
bibfix < usersguide-bib.bbl > usersguide-bib.xml
rm -f usersguide-bib.bbl
