X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=blobdiff_plain;f=Makefile;h=7c5994e3a66811aaa25648e941e1d95e5e8065bb;hp=f456d93eb2459d529caeafbf83b8fe3b8809f9e3;hb=e81d275459a9414975c97cf6958b8a968062c496;hpb=bc24c5e708efd71d79b488c55518411bb55f85dc

diff --git a/Makefile b/Makefile
index f456d93e..7c5994e3 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 # dgit
 # Integration between git and Debian-style archives
 #
-# Copyright (C)2013 Ian Jackson
+# Copyright (C)2013-2015 Ian Jackson
 #
 # 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
@@ -26,10 +26,14 @@ prefix?=/usr/local
 bindir=$(prefix)/bin
 mandir=$(prefix)/share/man
 man1dir=$(mandir)/man1
+infraexamplesdir=$(prefix)/share/doc/dgit-infrastructure/examples
 
-PROGRAMS=dgit dgit-repos-server
+PROGRAMS=dgit
 MAN1PAGES=dgit.1
 
+INFRA_PROGRAMS=dgit-repos-server dgit-ssh-dispatch
+INFRA_EXAMPLES=get-dm-txt ssh-wrap
+
 all:
 
 install:	installdirs
@@ -39,6 +43,15 @@ install:	installdirs
 installdirs:
 	$(INSTALL_DIR) $(DESTDIR)$(bindir) $(DESTDIR)$(man1dir)
 
+install-infra:	installdirs-infra
+	$(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_PROGRAMS)) \
+		$(DESTDIR)$(bindir)
+	$(INSTALL_PROGRAM) $(addprefix infra/, $(INFRA_EXAMPLES)) \
+		$(DESTDIR)$(infraexamplesdir)
+
+installdirs-infra:
+	$(INSTALL_DIR) $(DESTDIR)$(bindir) $(DESTDIR)$(infraexamplesdir)
+
 check installcheck:
 
 clean distclean mostlyclean maintainer-clean: