Rename Doxyfile.in to Doxyfile, and make it actually work