diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2018-11-30 13:43:25 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2018-11-30 13:43:25 +0300 |
commit | 0b3f27152dd1928177f05d267b6e25d97bd00b40 (patch) | |
tree | dda4c9ee93021a9b68610dd91dcead6cbf0a0f7d | |
parent | acfedd8d40b51e05ae19be02bebe0ebae26c5c84 (diff) |
Document that machine name components cnannot be empty
-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. |