profile: include remote-execution properties

Include in the profile also the effective remote-execution endpoint,
properties, and dispatch list. Software projects are often tested
in a variety of environments or hardware configurations; as,
obviously, the performance might differ significantly (especially
depending on the used hardware) a proper analysis therefore requires
the possibility to distinguish the various backends. Adding the
effective configuration adds this posibility.

1 files changed, 13 insertions, 0 deletions

diff --git a/share/man/just-profile.5.md b/share/man/just-profile.5.md
index 991472cb..b8efb16c 100644
--- a/share/man/just-profile.5.md
+++ b/share/man/just-profile.5.md
@@ -45,6 +45,19 @@ The profile file contains the following information.
 - For the key *`"configuration"`* the build configuration in which the
   target was analysed/built/installed.
 
+- For the key *`"remote"`* an object describing the remote-execution
+  configuration. The following keys are used.
+
+  - If a remote-execution endpoint is used, for the key *`"address"`*,
+    a string of the form `address:port` is given.
+
+  - For the key *`"properties"`* the remote-execution properties are
+    specified (naturally as an object).
+
+  - For the key *`"dispatch"`* the dispatch list is given as an array
+    of pairs (arrays of length two) of a property map and an enpoint
+    as `address:port` string.
+
 - For the key *`"exit code"`* the exit code of the **`just`**(1) process.
 
 - For the key *`"analysis errors"`*, if present, a list of error messages