#!/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

