#! /bin/sh
set -e
dir=`dirname "$0"`
cd "$dir/../documentation"
../tools/undiag *.mdx
doxygen
