From 224ca6b4a472fb9bb70f455bcea6733f9c9e99bc Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 21 Jul 2019 16:39:58 +0100 Subject: git-playtree-setup: Rename from git-playtree-create The name is from when I thought it would actually mkdir. But it doesn't. No overall functional change. Signed-off-by: Ian Jackson --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index c8937fc..c4f1673 100644 --- 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 \ -- cgit v1.2.3