diff options
| -rw-r--r-- | doc/manual.cli | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index c40aa29..8584910 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -90,9 +90,10 @@ example, the same machine can normally be used to produce 32/64-bit and debug/release builds. The machine configuration is \i{approximately} encoded in its \i{machine -name}. The machine name is a list of components separated with \c{-}. Each -component can contain alpha-numeric characters, underscores, dots, and pluses -with the whole id being a portably-valid path component. +name}. The machine name is a list of components separated with \c{-}. +Components cannot be empty and must contain only alpha-numeric characters, +underscores, dots, and pluses with the whole id being a portably-valid path +component. The encoding is approximate in a sense that it captures only what's important to distinguish in a particular \c{bbot} deployment. |