chiark
/
gitweb
/
~mdw
/
tripe
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Documentation restructuring: provide a useful overview.
[tripe]
/
debian
/
rules
diff --git
a/debian/rules
b/debian/rules
index b902fb6c2ca39caa865a58e2ee3f347818b880bc..f404ae6215dd2b6d191e14bbf660e09fe6249935 100755
(executable)
--- a/
debian/rules
+++ b/
debian/rules
@@
-9,6
+9,10
@@
include $(CDBS)/class/autotools.mk
### General settings.
DEB_BUILDDIR = $(CURDIR)/build
### General settings.
DEB_BUILDDIR = $(CURDIR)/build
+DEB_MAKE_BUILD_TARGET = all html pdf
+DEB_MAKE_INSTALL_TARGET = \
+ install install-html install-pdf \
+ DESTDIR=$(CURDIR)/debian/tmp/
DEB_MAKE_CHECK_TARGET = check
###--------------------------------------------------------------------------
DEB_MAKE_CHECK_TARGET = check
###--------------------------------------------------------------------------