tweak

1 files changed, 7 insertions, 4 deletions

diff --git a/Makefile b/Makefile
index 87c725efe..a0911df04 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+all: git-annex docs
+
 git-annex:
 	mkdir -p build
 	ghc -odir build -hidir build --make git-annex
@@ -10,15 +12,16 @@ 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.
+# If ikiwiki is available, build static html docs suitable for being
+# shipped in the software package.
 ifeq ($(shell which ikiwiki),)
-IKIWIKI=echo "** ikiwiki not found" >&2 ; echo ikiwiki
+IKIWIKI=echo "** ikiwiki not found, skipping building docs" >&2
 else
 IKIWIKI=ikiwiki
 endif
 
 docs:
-	$(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff
+	$(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff \
+		--no-usedirs
 
 .PHONY: git-annex