aboutsummaryrefslogtreecommitdiff
path: root/doc/manual.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-04-11 14:46:06 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-04-11 14:46:06 +0200
commitb665dce0ea1a19c77ef522d3bfafb8210f9455b3 (patch)
tree059a97b3284e7d059d4c7993154f89edaed19b73 /doc/manual.cli
parent74308ab241d265c4cf270d1758ecd85f3ea726e4 (diff)
Minor documentation update
Diffstat (limited to 'doc/manual.cli')
-rw-r--r--doc/manual.cli6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index 68b03ef..b91f6ae 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -62,9 +62,9 @@ the following subdirectories:
machines as well as for build host log access.
This directory is read-accessible via the TFTP server running on the default
- port. A \c{bbot} agent also makes sub-directories inside this directory
- temporarily write-accessible to build machines by running custom instances
- of the TFTP server on other ports.|
+ port. A \c{bbot} agent also makes the \c{bootstrap/} and \c{build/}
+ sub-directories inside this directory temporarily write-accessible to build
+ machines by running custom instances of the TFTP server on other ports.|
\li|\n\c{/build/toolchain/}\n