git ignore on docs/html (doxygen)