chiark / gitweb /
~ianmdlvl / dgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c0ef615)
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 patch | blob | history

diff --git a/Makefile b/Makefile
index cf23a14b9d173bb5982e78d2787468be7715769e..c865cc310aa18b49aef908f42f814142b9a3845e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,9 @@ PROGRAMS=dgit
 MAN1PAGES=dgit.1
 PERLMODULES=Debian/Dgit.pm
 
 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
 
 INFRA_EXAMPLES=get-dm-txt ssh-wrap
 INFRA_PERLMODULES=Debian/Dgit/Policy/Debian.pm
 
Unnamed repository; edit this file 'description' to name the repository.