Makefile/Doxyfile addendum