dgit: Declare a "supersedes" in the signed tag for all previous refs/heads and refs...

[dgit.git] / Makefile

diff --git a/Makefile b/Makefile
index fc49cd0264b85732c29de05148e7f71b80d7ec85..caac3d984120d05367541aa45b65a96552433a70 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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
 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: