mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Makefile: Install man page and html (when built).

Browse source
This commit is contained in:
Joey Hess 2010-12-12 13:15:16 -04:00
parent f8b59360e3
commit 98ad5402d9
3 changed files with 18 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
Makefile
View file

@ -1,18 +1,27 @@
PREFIX=/usr
GHCMAKE=ghc -Wall -odir build -hidir build -O2 --make
all: git-annex docs
all: git-annex git-annex.1 docs
SysConfig.hs: configure.hs
$(GHCMAKE) configure
./configure
git-annex.1:
./mdwn2man git-annex 1 doc/git-annex.mdwn > git-annex.1
git-annex: SysConfig.hs
$(GHCMAKE) git-annex
install:
install: all
install -d $(DESTDIR)$(PREFIX)/bin
install git-annex $(DESTDIR)$(PREFIX)/bin
install -d $(DESTDIR)$(PREFIX)/share/man/man1
install -m 0644 git-annex.1 $(DESTDIR)$(PREFIX)/share/man/man1
install -d $(DESTDIR)$(PREFIX)/share/doc/git-annex
if [ -d html ]; then \
rsync -a --delete html/ $(DESTDIR)$(PREFIX)/share/doc/git-annex/html/; \
fi
test:
$(GHCMAKE) test
@ -26,8 +35,7 @@ else
IKIWIKI=ikiwiki
endif
docs:
./mdwn2man git-annex 1 doc/git-annex.mdwn > git-annex.1
docs: 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 \

6
debian/changelog vendored
View file

@ -1,3 +1,9 @@
git-annex (0.13) UNRELEASED; urgency=low
* Makefile: Install man page and html (when built).
-- Joey Hess <joeyh@debian.org> Sun, 12 Dec 2010 13:14:58 -0400
git-annex (0.12) unstable; urgency=low
* Add --exclude option to exclude files from processing.

1
debian/docs vendored
View file

@ -1 +0,0 @@
html