Make sure 'make distclean' works for doxygen
1 file changed