summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2014-11-08 22:21:27 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2014-11-09 11:58:19 +0000
commit1b2c10f57b0257aac61a696378e9c8c05df8bf4f (patch)
treee958be79fec81a1f82679e57aebbcaf0894682d2 /debian/rules
parent6fb4b888dd654e78fb263e69147de9d9df4a532b (diff)
New dgit-infrastructure binary package containing dgit-repos-server et al. Client users probably don't want this stuff. Also, it provides a convenient way to publish the dependencies.
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules4
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index fece672..e02ea90 100755
--- a/debian/rules
+++ b/debian/rules
@@ -29,3 +29,7 @@ override_dh_gencontrol:
cd debian/dgit; \
v=$$(perl -ne 'print if s/^version:\s+//i' DEBIAN/control); \
perl -i -pe "s/UNRELEASED/$$v/g if m/###substituted###/" usr/bin/dgit
+
+override_dh_auto_install:
+ make install prefix=/usr DESTDIR=debian/dgit
+ make install-infra prefix=/usr DESTDIR=debian/dgit-infrastructure