diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-11-08 22:21:27 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-11-09 11:58:19 +0000 |
commit | 1b2c10f57b0257aac61a696378e9c8c05df8bf4f (patch) | |
tree | e958be79fec81a1f82679e57aebbcaf0894682d2 /debian/rules | |
parent | 6fb4b888dd654e78fb263e69147de9d9df4a532b (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-x | debian/rules | 4 |
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 |