From bc3563c038e5206af3ddff452e523bf46ea4de16 Mon Sep 17 00:00:00 2001 From: Phil Elson Date: Sun, 31 Aug 2014 11:18:09 +0100 Subject: [PATCH] Added gitwash as an option on the makefile. --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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