Tweaks to doxygen config