infra: New script dgit-mirror-ssh-wrap

[dgit.git] / Makefile

diff --git a/Makefile b/Makefile
index c8937fc9e76133be0b4a3c7c8d868626b7eb752c..87cff8b9bea79258568fa9fe2d83c0df9cbac18b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -34,7 +34,7 @@ infraexamplesdir=$(prefix)/share/doc/dgit-infrastructure/examples
 txtdocdir=$(prefix)/share/doc/dgit
 absurddir=$(prefix)/share/dgit/absurd
 
-PROGRAMS=dgit dgit-badcommit-fixup git-playtree-create
+PROGRAMS=dgit dgit-badcommit-fixup git-playtree-setup
 MAN1PAGES=dgit.1
 
 MAN7PAGES=dgit.7                               \
@@ -65,7 +65,7 @@ GDR_MAN5PAGES=git-debrebase.5
 GDP_PROGRAMS=git-debpush
 GDP_MAN1PAGES=git-debpush.1
 
-INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch \
+INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch dgit-mirror-ssh-wrap \
        dgit-repos-policy-debian dgit-repos-admin-debian \
        dgit-repos-policy-trusting dgit-mirror-rsync
 INFRA_EXAMPLES=get-dm-txt ssh-wrap drs-cron-wrap get-suites