diff --git a/doc/Makefile b/doc/Makefile index a593aa56..befa2087 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -30,7 +30,7 @@ help: @echo " changes to make an overview of all changed/added/deprecated items" @echo " linkcheck to check all external links for integrity" @echo " doctest to run all doctests embedded in the documentation (if enabled)" - + @echo " gitwash to update the gitwash documentation" clean: -rm -rf $(DEST)/* -rm -rf source/api