tweaks to the doxygen documentation generator scripts