tweak
This commit is contained in:
parent
e8267f1b9e
commit
21128c88e7
1 changed files with 7 additions and 4 deletions
11
Makefile
11
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
|
||||
|
|
Loading…
Reference in a new issue