Make Doxyfile generated by configure
should have been in previous commit