blob: 921eb70670da094e0199423e25e92554f2c0e962 (
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
25
26
27
28
29
30
|
all: git-annex docs
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
# 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
else
IKIWIKI=ikiwiki
endif
docs:
./mdwn2man git-annex 1 doc/git-annex.mdwn > git-annex.1
$(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff \
--no-usedirs --disable-plugin=openid --plugin=sidebar \
--underlaydir=/dev/null --disable-plugin=shortcut \
--disable-plugin=smiley
clean:
rm -rf build git-annex git-annex.1
rm -rf doc/.ikiwiki html
.PHONY: git-annex
|
