diff options
Diffstat (limited to 'doc')
| -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 |