diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-11 14:46:06 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-11 14:46:06 +0200 |
commit | b665dce0ea1a19c77ef522d3bfafb8210f9455b3 (patch) | |
tree | 059a97b3284e7d059d4c7993154f89edaed19b73 | |
parent | 74308ab241d265c4cf270d1758ecd85f3ea726e4 (diff) |
Minor documentation update
-rw-r--r-- | doc/manual.cli | 6 |
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 |