#!/bin/sh

echo "$0: Cleaning up..."
find docs/html/ -type f -exec rm -f {} \;
rm -f docs/*.log
echo "$0: Done."

doxygen Doxyfile