aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-11-30 13:43:25 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2018-11-30 13:43:25 +0300
commit0b3f27152dd1928177f05d267b6e25d97bd00b40 (patch)
treedda4c9ee93021a9b68610dd91dcead6cbf0a0f7d
parentacfedd8d40b51e05ae19be02bebe0ebae26c5c84 (diff)
Document that machine name components cnannot be empty
-rw-r--r--doc/manual.cli7
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.