diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 000000000..d35e82ad5 --- /dev/null +++ b/Makefile @@ -0,0 +1,29 @@ +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 + +clean: + rm -rf build git-annex git-annex.1 + rm -rf doc/.ikiwiki html + +.PHONY: git-annex |