diff --git a/Makefile b/Makefile index 1d41fa5b5e..b8d43caa7f 100644 --- a/Makefile +++ b/Makefile @@ -13,5 +13,7 @@ clean: fi doc: - make -BC doc/doxygen + "$(MAKE)" -BC doc/doxygen +docclean: + "$(MAKE)" -BC doc/doxygen clean