Removed doc/Doxyfile from git.