From 3af2f7f52da8dbfecbd71a478f5dd99dc11e13fd Mon Sep 17 00:00:00 2001 From: crc Date: Fri, 10 May 2019 13:04:25 +0000 Subject: [PATCH] retro-document is now in bin/ FossilOrigin-Name: 615a63d8fc69b064be0d7b528a8aea06d12d2ec0dac708d599707aae15d0411c --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index bf380ab..a14efbd 100644 --- a/Makefile +++ b/Makefile @@ -17,6 +17,7 @@ toolchain: dirs bin/retro-embedimage bin/retro-extend bin/retro-muri bin/retro-u dirs: mkdir -p bin + cp tools/document.sh bin/retro-document clean: rm -f bin/* @@ -30,6 +31,7 @@ install: build install-data install-docs install-examples install-manpages install -c -m 755 bin/retro $(DESTDIR)$(PREFIX)/bin/retro install -c -m 755 bin/retro-unu $(DESTDIR)$(PREFIX)/bin/retro-unu install -c -m 755 bin/retro-describe $(DESTDIR)$(PREFIX)/bin/retro-describe + install -c -m 755 bin/retro-document $(DESTDIR)$(PREFIX)/bin/retro-document install-strip: build install-data install-docs install-examples install -m 755 -d -- $(DESTDIR)/bin