Document the new features

4 files changed, 26 insertions, 3 deletions

diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md
index dfa40b49..82861f69 100644
--- a/share/man/just-mr-repository-config.5.md
+++ b/share/man/just-mr-repository-config.5.md
@@ -143,6 +143,10 @@ resolve all confined relative symbolic links, while a value of
 the confined relative upwards symbolic links; for a *`"file"`* workspace root
 these two values imply *`"to_git"`* is *`true`*.
 
+For all workspace roots the pragma key *`"absent"`* is supported. If its value
+is *`true`* then it indicates that an absent root should be generated, i.e., one
+given only by its Git tree without any explicit witnessing repository.
+
 Repository description
 ----------------------
 
diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md
index 12bd71a5..5ac19a23 100644
--- a/share/man/just-mr.1.md
+++ b/share/man/just-mr.1.md
@@ -131,6 +131,9 @@ location for archives, between local CAS (or distdirs) and the network.
 Address of a **`just`** **`serve`** service. This is used as intermediary fetch
 location for Git commits, between local CAS and the network.
 
+**`--fetch-absent`**  
+Try to make available all repositories, including those marked as absent.
+
 **`--compatible`**  
 At increased computational effort, be compatible with the original remote build
 execution protocol. If a remote execution service address is provided, this 
@@ -273,8 +276,9 @@ The **`--local-launcher`** argument is passed to **`just`** as early
 argument for those *known* subcommands that accept it (build, install,
 rebuild).
 
-The **`--remote-execution-address`** and **`--compatible`** arguments are passed
-to **`just`** as early arguments for those *known* subcommands that accept them
+The **`--remote-execution-address`**, **`--compatible`**, and 
+**`--remote-serve-address`** arguments are passed to **`just`** as early
+arguments for those *known* subcommands that accept them
 (analyse, build, install-cas, install, rebuild, traverse).
 
 The *authentication options* given to **`just-mr`** are passed to **`just`** as
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md
index b0a434e3..5811073a 100644
--- a/share/man/just-mrrc.5.md
+++ b/share/man/just-mrrc.5.md
@@ -100,6 +100,13 @@ The just-mrrc is given by a JSON object.
    Each subkey value can be overwritten by its corresponding command-line
    argument.
 
+ - The value for the key *`"remote serve"`* is a JSON object specifying the
+   remote serve options for **`just-mr`**.  
+   For subkey *`"address"`* the value is a string specifying the remote
+   serve address in a NAME:PORT format.  
+   Each subkey value can be overwritten by its corresponding command-line
+   argument.
+
  - The value for the key *`"authentication"`* is a JSON object specifying
    client-side authentication options for **`just-mr`**.  
    For subkey *`"ca cert"`* the value is a string specifying the path to a TLS CA
diff --git a/share/man/just.1.md b/share/man/just.1.md
index b2cce8d2..b7f6ba84 100644
--- a/share/man/just.1.md
+++ b/share/man/just.1.md
@@ -16,7 +16,8 @@ SYNOPSIS
 **`just`** **`rebuild`** \[*`OPTION`*\]... \[\[*`module`*\] *`target`*\]  
 **`just`** **`traverse`** \[*`OPTION`*\]... **`-o`** *`OUTPUT_DIR`* **`-g`** *`GRAPH_FILE`*  
 **`just`** **`gc`** \[*`OPTION`*\]...  
-**`just`** **`execute`** \[*`OPTION`*\]...
+**`just`** **`execute`** \[*`OPTION`*\]...  
+**`just`** **`serve`** *`SERVE_CONFIG_FILE`*
 
 DESCRIPTION
 ===========
@@ -522,6 +523,13 @@ as specified by **`-r`**, or local execution if no endpoint is
 specified).  
 Supported by: analyse|build|install-cas|install|rebuild|traverse.
 
+Remote serve options
+--------------------
+
+**`--remote-serve-address`** *`NAME`*:*`PORT`*  
+Address of the remote execution service.  
+Supported by: analyse|build|install-cas|install|rebuild|traverse.
+
 Authentication options
 ----------------------