diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 16:39:58 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 18:01:18 +0100 |
commit | 224ca6b4a472fb9bb70f455bcea6733f9c9e99bc (patch) | |
tree | cb16cffefdf59ceb174dba4bfa165554b523f5c2 /Makefile | |
parent | 1e947003e9b48254d349f000eaab3849511eb55e (diff) |
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 <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 \ |