do: move to tools directory

FossilOrigin-Name: 601842a9a0147dcf4ad04386ebd690ccc252cb6b27b98b7cd7cd06ea8b7ce6ad

3 files changed, 4 insertions, 5 deletions

diff --git a/INSTALL b/INSTALL
index ccb873e..2a80450 100644
--- a/INSTALL
+++ b/INSTALL
@@ -2,7 +2,7 @@ Installation Instructions
 =========================
 
 In order to install cpt, you either need a redo implementation on your system,
-or use the `do` script inside the `minimal/` directory (which is slower but the
+or use the `do` script inside the `tools/` directory (which is slower but the
 source code isn't that big anyways).
 
 Paths and version information can be configured from the `config.rc` file or
@@ -29,6 +29,5 @@ With redo
 With minimal do
 ---------------
 
-    ./minimal/do
-    DESTDIR= PREFIX=/usr/local ./minimal/do install
-
+    ./tools/do
+    DESTDIR= PREFIX=/usr/local ./tools/do install
diff --git a/README b/README
index fb860fa..c1021ad 100644
--- a/README
+++ b/README
@@ -26,7 +26,7 @@ RUNTIME DEPENDS
 - tar [GNU tar, busybox, toybox, libarchive, etc.]
 
 MAKE DEPENDS
-- redo (optional, the repository contains minimal/do)
+- redo (optional, the repository contains tools/do)
 
 
 Directory Structure
diff --git a/minimal/do b/tools/do
index f38a2a7..f38a2a7 100755
--- a/minimal/do
+++ b/tools/do