Local Doxygen need not be in Git