2010-10-19 18:39:40 +00:00
|
|
|
all: git-annex docs
|
|
|
|
|
|
2010-10-10 04:18:16 +00:00
|
|
|
git-annex:
|
2010-10-14 07:46:34 +00:00
|
|
|
mkdir -p build
|
2010-10-31 18:32:18 +00:00
|
|
|
ghc -Wall -odir build -hidir build --make git-annex
|
2010-10-10 04:18:16 +00:00
|
|
|
|
2010-10-16 20:41:24 +00:00
|
|
|
install:
|
|
|
|
|
install -d $(DESTDIR)/usr/bin
|
|
|
|
|
install git-annex $(DESTDIR)/usr/bin
|
|
|
|
|
|
2010-10-19 18:39:40 +00:00
|
|
|
# If ikiwiki is available, build static html docs suitable for being
|
|
|
|
|
# shipped in the software package.
|
2010-10-19 18:37:19 +00:00
|
|
|
ifeq ($(shell which ikiwiki),)
|
2010-10-19 18:39:40 +00:00
|
|
|
IKIWIKI=echo "** ikiwiki not found, skipping building docs" >&2
|
2010-10-19 18:37:19 +00:00
|
|
|
else
|
|
|
|
|
IKIWIKI=ikiwiki
|
|
|
|
|
endif
|
|
|
|
|
|
|
|
|
|
docs:
|
2010-10-19 19:59:40 +00:00
|
|
|
./mdwn2man git-annex 1 doc/git-annex.mdwn > git-annex.1
|
2010-10-19 18:39:40 +00:00
|
|
|
$(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff \
|
2010-10-19 23:28:29 +00:00
|
|
|
--no-usedirs --disable-plugin=openid --plugin=sidebar \
|
2010-10-22 19:12:48 +00:00
|
|
|
--underlaydir=/dev/null --disable-plugin=shortcut \
|
|
|
|
|
--disable-plugin=smiley
|
2010-10-10 04:18:16 +00:00
|
|
|
|
2010-10-19 19:59:40 +00:00
|
|
|
clean:
|
|
|
|
|
rm -rf build git-annex git-annex.1
|
|
|
|
|
rm -rf doc/.ikiwiki html
|
|
|
|
|
|
2010-10-10 04:18:16 +00:00
|
|
|
.PHONY: git-annex
|
