diff --git a/doc/doxygen/Makefile b/doc/doxygen/Makefile index 2363ff6d8e..9dad5f4932 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