just-mr rc: honor "rc files" option

... to pull in rc files from different locations, given by
location objects.

1 files changed, 16 insertions, 1 deletions

diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md
index 85c2ce75..021e1126 100644
--- a/share/man/just-mrrc.5.md
+++ b/share/man/just-mrrc.5.md
@@ -131,13 +131,28 @@ The just-mrrc is given by a JSON object.
    corresponding subcommand, these strings are prefixed to the **`just`**
    argument vector, if **`just-mr`** is used as a launcher.
 
+ - The value for the key *`"rc files"`*, if given, is a list of
+   location objects. For those location objects that refer to
+   an existing file, this file is read as an additional rc file
+   overlaying the given rc file in the specified order; the value
+   of `"rc files"` in the overlaying files is ignored.  
+   In this way, an rc file commited to a repository can be allowed
+   to set a sensible configuration, remote-execution and serve end
+   points, etc. This is particularly useful when simultaneously
+   working on several projects with different settings.
+
+
 EXAMPLE
 =======
 
 An example just-mrrc file could look like the following:
 
 ``` jsonc
-{ "config lookup order":
+{ "rc files":
+  [ {"root": "workspace", "path": "rc.json"}
+  , {"root": "workspace", "path": "etc/rc.json"}
+  ]
+, "config lookup order":
   [ {"root": "workspace", "path": "repos.json"}
   , {"root": "workspace", "path": "etc/repos.json"}
   , {"root": "home", "path": ".just-repos.json"}