Added gitwash as an option on the makefile.

2026-07-01 15:28:01 +08:00 · 2014-08-31 11:18:09 +01:00
parent 25d6c58674
commit bc3563c038
1 changed files with 1 additions and 1 deletions
@@ -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