["CC/auto", "config_file"] rename implicit target

... and mention it at the appropriate part of the documentation.
While there, also provide a default TARGETS file.

3 files changed, 7 insertions, 1 deletions

diff --git a/CC/auto/RULES b/CC/auto/RULES
index 0e156c9..860db01 100644
--- a/CC/auto/RULES
+++ b/CC/auto/RULES
@@ -1015,6 +1015,11 @@
     , "target configuration. In the usual case, a target using this rule is"
     , "configured by depending on it from a target that uses the built-in"
     , "\"configure\" rule."
+    , ""
+    , "The actual generation of the header file from the template"
+    , "is done by the implicit dependency on the \"runner\" target which"
+    , "can be changed globally by setting this target in the"
+    , "target layer of this repository."
     ]
   , "field_doc":
     { "output":
@@ -1045,7 +1050,7 @@
     , "last": "last_list_entry"
     , "stage_singleton_field": ["", "stage_singleton_field"]
     }
-  , "implicit": {"runner": ["config_runner.py"]}
+  , "implicit": {"runner": ["runner"]}
   , "expression":
     { "type": "let*"
     , "bindings":
diff --git a/CC/auto/TARGETS b/CC/auto/TARGETS
new file mode 100644
index 0000000..0967ef4
--- /dev/null
+++ b/CC/auto/TARGETS
@@ -0,0 +1 @@
+{}
diff --git a/CC/auto/config_runner.py b/CC/auto/runner
index f938c27..f938c27 100755
--- a/CC/auto/config_runner.py
+++ b/CC/auto/runner