From fa5ebd101b792fdf038394f0aaa4a4ab8e28dab6 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 3 May 2017 10:57:17 +0200
Subject: Spec toolchain-name and toolchain-version in task request manifest

---
 doc/manual.cli | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/doc/manual.cli b/doc/manual.cli
index f26f350..110fd3d 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -406,8 +406,10 @@ The result manifest describes a build result.
 \
 SYNOPSIS
 
-agent:       <agent-name>
-fingerprint: <agent-fingerprint>
+agent:             <agent-name>
+toolchain-name:    <name>
+toolchain-version: <standard-version>
+fingerprint:       <agent-fingerprint>
 \
 
 An agent (or controller acting as an agent) sends a task request to its
@@ -421,6 +423,14 @@ starts with the task request manifest followed by a list of machine manifests.
   The name of the agent host (\c{hostname}). This should be unique in a
   particular \c{bbot} deployment.|
 
+\li|\n\c{toolchain-name: <name>}\n
+
+  The \c{build2} toolchain name being used by the agent.|
+
+\li|\n\c{toolchain-version: <standard-version>}\n
+
+  The \c{build2} toolchain version being used by the agent.|
+
 \li|\n\c{fingerprint: <agent-fingerprint>}\n
 
   The SHA256 fingerprint of the agent's public key. An agent may be configured
@@ -429,7 +439,6 @@ starts with the task request manifest followed by a list of machine manifests.
   the authentication in which case it will respond with the
   401 (unauthorized) HTTP status code.||
 
-
 \h#arch-task-res-manifest|Task Response Manifest|
 
 \
-- 
cgit v1.1