No intended functional change; only what *make* prints should be different.

	commit bb43afb0d70311dc9fd7633133c3c4fec32511e6
	Author: Eric Siegerman <pub08-git@davor.org>
	Date:   Tue Oct 31 02:33:13 2017 -0400

	    Refactor "make docs" to eliminate confusing output
	    
	    The the many lines of arguments to the ikiwiki command would
	    always be printed -- even if ikiwiki was unavailable.  Now
	    you'll only see them if they're accomplishing something.

	diff --git a/Makefile b/Makefile
	index aceb65cae..121b19a99 100644
	--- a/Makefile
	+++ b/Makefile
	@@ -88,16 +88,21 @@ tags:
	 # 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, skipping building docs" >&2; true
	+BUILD_DOCS=_skip_building_docs
	 else
	-IKIWIKI=ikiwiki
	+BUILD_DOCS = _build_docs
	 endif
	 
	 mans: Build/MakeMans
		./Build/MakeMans
	 
	-docs: mans
	-	LC_ALL=C TZ=UTC $(IKIWIKI) doc html -v --wikiname git-annex \
	+docs: mans $(BUILD_DOCS)
	+
	+_skip_building_docs:
	+	@echo "** ikiwiki not found, skipping building docs" >&2
	+
	+_build_docs:
	+	LC_ALL=C TZ=UTC ikiwiki doc html -v --wikiname git-annex \
			--plugin=goodstuff \
			--no-usedirs --disable-plugin=openid --plugin=sidebar \
			--plugin theme --set theme=actiontabs --set deterministic=1 \

> [[done]] --[[Joey]]