#!/bin/sh
set -x

umask 22
rm -rf html latex man
doxygen

# fix permissions (NB: '+X' and not '+x'!)
chmod -R a+rX ./

# ----------------------------------------------------------------- end-of-file