#!/bin/sh
doxygen
if [ ! -e doc/html/images ]; then
mkdir -p doc/html/images
fi
cp doc/images/*.png doc/images/*.gif doc/html/images