summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-22 18:13:43 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-22 18:13:43 +0100
commitb51806dcc0188e4d436c70a3839829038a5e2188 (patch)
tree6a98cb090004f58329cfd055d2b08483327f5679 /Makefile
parentc0ef615070b31948ccc9fdc2cca9de1ff8ef660b (diff)
Packaging: package the dgit-repos-* scripts
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index cf23a14..c865cc3 100644
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,9 @@ PROGRAMS=dgit
MAN1PAGES=dgit.1
PERLMODULES=Debian/Dgit.pm
-INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch
+INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch \
+ dgit-repos-policy-debian dgit-repos-admin-debian \
+ dgit-repos-policy-trusting
INFRA_EXAMPLES=get-dm-txt ssh-wrap
INFRA_PERLMODULES=Debian/Dgit/Policy/Debian.pm