infra: New script dgit-mirror-ssh-wrap

[dgit.git] / Makefile

diff --git a/Makefile b/Makefile
index 380bdb0348aee9c7878182ca10c309caa4fa90dd..87cff8b9bea79258568fa9fe2d83c0df9cbac18b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,8 @@
 # dgit
 # Integration between git and Debian-style archives
 #
-# Copyright (C)2013-2016 Ian Jackson
+# Copyright (C)2013-2018 Ian Jackson
+# Copyright (C)2019      Sean Whitton
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -33,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
+PROGRAMS=dgit dgit-badcommit-fixup git-playtree-setup
 MAN1PAGES=dgit.1
 
 MAN7PAGES=dgit.7                               \
@@ -42,7 +43,8 @@ MAN7PAGES=dgit.7                              \
        dgit-maint-merge.7 dgit-maint-gbp.7     \
        dgit-maint-debrebase.7                  \
        dgit-downstream-dsc.7                   \
-       dgit-sponsorship.7
+       dgit-sponsorship.7                      \
+       dgit-maint-bpo.7
 
 TXTDOCS=README.dsc-import
 PERLMODULES= \
@@ -63,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