From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Thu, 22 Oct 2026 10:19:24 +0000 (+0000)
Subject: .
X-Git-Url: https://git.reasoningtechnology.com/sitemap.xml?a=commitdiff_plain;h=69586a951a9bfc2dead2ab6b3c264e50dfd1aa19;p=Man_In_Grey

.
---

diff --git a/developer/machine/man_in_grey_apply b/developer/machine/man_in_grey_apply
new file mode 100755
index 0000000..48dfade
Binary files /dev/null and b/developer/machine/man_in_grey_apply differ
diff --git a/developer/machine/x86_64/man_in_grey_apply b/developer/machine/x86_64/man_in_grey_apply
deleted file mode 100755
index 48dfade..0000000
Binary files a/developer/machine/x86_64/man_in_grey_apply and /dev/null differ
diff --git a/release/aarch64/.githolder b/release/aarch64/.githolder
deleted file mode 100644
index e69de29..0000000
diff --git a/release/armv7l/.githolder b/release/armv7l/.githolder
deleted file mode 100644
index e69de29..0000000
diff --git a/release/i686/.githolder b/release/i686/.githolder
deleted file mode 100644
index e69de29..0000000
diff --git a/release/ppc64le/.githolder b/release/ppc64le/.githolder
deleted file mode 100644
index e69de29..0000000
diff --git a/release/riscv64/.githolder b/release/riscv64/.githolder
deleted file mode 100644
index e69de29..0000000
diff --git a/release/s390x/.githolder b/release/s390x/.githolder
deleted file mode 100644
index e69de29..0000000
diff --git a/skeleton_update_plan_Man-In-Grey.py b/skeleton_update_plan_Man-In-Grey.py
new file mode 100644
index 0000000..de5c9ba
--- /dev/null
+++ b/skeleton_update_plan_Man-In-Grey.py
@@ -0,0 +1,51 @@
+# -*- mode: python; coding: utf-8; python-indent-offset: 2; indent-tabs-mode: nil -*-
+# The skeleton_update plan for Man-In-Grey: what is particular to this project
+# when it is brought onto the Harmony skeleton.
+#
+# Two namespaces, because the build tool keys a namespace by the name before
+# the dot: the Python orchestrator and its shell wrapper are copied, and the
+# C gasket is compiled. Harmony.mk compiles *.CLI.c into a program named
+# for the rest of the file name, so the gasket keeps its name,
+# man_in_grey_apply.
+
+MOVE = {
+  "developer/source/Man_In_Grey": "developer/authored/Man_In_Grey.copy/Man_In_Grey",
+  "developer/source/Man_In_Grey.py": "developer/authored/Man_In_Grey.copy/Man_In_Grey.py",
+  "developer/source/Planner.py": "developer/authored/Man_In_Grey.copy/Planner.py",
+  "developer/source/executor_inner.py": "developer/authored/Man_In_Grey.copy/executor_inner.py",
+  "developer/source/executor_outer.py": "developer/authored/Man_In_Grey.copy/executor_outer.py",
+  "developer/source/diag_perm": "developer/authored/Man_In_Grey.copy/diag_perm",
+  "developer/source/Man_In_Grey_apply.c": "developer/authored/Man_In_Grey_apply.make/man_in_grey_apply.CLI.c",
+  "developer/source/todo.txt": "developer/document/todo.txt",
+  "tester/test_0/": "tester/authored/test_0/",
+}
+
+# Harmony has these places, but the files are replaced by its tools: setup
+# replaces the env scripts, build and promote replace compile, release and
+# clean_release, and the .org documents are the old Harmony's.
+DEPRECATE = (
+  "developer/tool/clean_release",
+  "developer/tool/compile",
+  "developer/tool/env",
+  "developer/tool/release",
+  "tester/tool/env",
+  "document/Workflow.org",
+  "document/environment_guide.org",
+  "document/general_info.org",
+)
+
+# release/ holds copies made by developer/tool/release.
+DUPLICATE = (
+  "release/",
+)
+
+KEEP = ()
+
+# Scripts that were never executable in git; developer/tool/release gave
+# them their mode when it installed them.
+EXECUTABLE = (
+  "developer/authored/Man_In_Grey.copy/Man_In_Grey",
+  "developer/authored/Man_In_Grey.copy/Man_In_Grey.py",
+  "developer/authored/Man_In_Grey.copy/diag_perm",
+  "developer/authored/Man_In_Grey.copy/executor_inner.py",
+)