chiark / gitweb /
Packaging: package the dgit-repos-* scripts
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 22 Jun 2015 17:13:43 +0000 (18:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 22 Jun 2015 17:13:43 +0000 (18:13 +0100)
Makefile

index cf23a14..c865cc3 100644 (file)
--- 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