#!/usr/bin/env sh

doxygen
# Assuming the output directory is "../html/".
\cp prettify.js ../html/
\cp guide.js ../html/
\cp hr1.gif ../html/
python modify_html.py
