doxyfile.stamp html/ man/