blob: 87c725efea773cd55da781c027f5c8595cb8ad13 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
git-annex:
mkdir -p build
ghc -odir build -hidir build --make git-annex
install:
install -d $(DESTDIR)/usr/bin
install git-annex $(DESTDIR)/usr/bin
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
|
