diff --git a/doc/doxygen/Makefile b/doc/doxygen/Makefile index 9dad5f4932..c64e7d411a 100644 --- a/doc/doxygen/Makefile +++ b/doc/doxygen/Makefile @@ -2,4 +2,4 @@ doc: doxygen riot.doxyfile clean: - -@rm -rf latex man html + -@rm -rf latex man html doxygen_objdb_*.tmp