ignore html directory
old Doxyfile deleted from gh-branch