summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2017-11-07 16:36:01 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2017-11-07 16:36:01 -0400
commit8400efc9483c1e568f521dd39cc44ac6984917e1 (patch)
tree7bcb2c69367afd3b884793c8d2aa14ff426c7e8e /Makefile
parentbc8832ee832a5ae8cbe0d6bc2451c82860b94a12 (diff)
simplify ikiwiki docs build testing and output
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile36
1 files changed, 17 insertions, 19 deletions
diff --git a/Makefile b/Makefile
index 6ac241f67..3d978df16 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-all=git-annex git-annex-shell mans docs Build/InstallDesktopFile
+all=git-annex git-annex-shell mans docs
# set to "./Setup" if you lack a cabal program. Or can be set to "stack"
BUILDER?=cabal
@@ -85,28 +85,26 @@ retest: git-annex
tags:
(for f in $$(find . | grep -v /.git/ | grep -v /tmp/ | grep -v /dist/ | grep -v /doc/ | egrep '\.hs$$'); do hothasktags -c --cpp -c -traditional -c --include=dist/build/autogen/cabal_macros.h $$f; done) 2>/dev/null | sort > 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
-else
-IKIWIKI=ikiwiki
-endif
-
mans: Build/MakeMans
./Build/MakeMans
+# If ikiwiki is available, build static html docs suitable for being
+# shipped in the software package.
docs: mans
- 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 \
- --disable-plugin=shortcut --disable-plugin=smiley \
- --plugin=comments --set comments_pagespec="*" \
- --exclude='ikiwiki/*' \
- --exclude='news/.*' --exclude='design/assistant/blog/*' \
- --exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \
- --exclude='users/*' --exclude='devblog/*' --exclude='thanks'
+ @if [ -n "`which ikiwiki`" ]; then \
+ 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 \
+ --disable-plugin=shortcut --disable-plugin=smiley \
+ --plugin=comments --set comments_pagespec="*" \
+ --exclude='ikiwiki/*' \
+ --exclude='news/.*' --exclude='design/assistant/blog/*' \
+ --exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \
+ --exclude='users/*' --exclude='devblog/*' --exclude='thanks'; \
+ else \
+ echo "** ikiwiki not found, skipping building docs" >&2; \
+ fi
clean:
if [ "$(BUILDER)" != ./Setup ] && [ "$(BUILDER)" != cabal ]; then $(BUILDER) clean; fi