1 files changed, 12 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d1fcbbeee..87c725efe 100644
--- a/Makefile
+++ b/Makefile
@@ -8,5 +8,17 @@ install:
 
 clean:
 	rm -rf build git-annex
+	rm -rf doc/.ikiwiki html
+
+# Build static html docs suitable for being shipped in the software
+# package. This depends on ikiwiki being installed to build the docs.
+ifeq ($(shell which ikiwiki),)
+IKIWIKI=echo "** ikiwiki not found" >&2 ; echo ikiwiki
+else
+IKIWIKI=ikiwiki
+endif
+
+docs:
+	$(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff
 
 .PHONY: git-annex