diff options
-rw-r--r-- | doc/manual.asciidoc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/manual.asciidoc b/doc/manual.asciidoc index fcabdc9..f6c1dda 100644 --- a/doc/manual.asciidoc +++ b/doc/manual.asciidoc @@ -521,7 +521,11 @@ across a line break). `${varname}`:: alternate syntax for `$varname`. -`$` followed by space:: a space. +`$` followed by space:: a space. (This is only necessary in lists of +paths, where a space would otherwise separate filenames. See below.) + +`$:` :: a colon. (This is only necessary in `build` lines, where a colon +would otherwise terminate the list of inputs.) `$$`:: a literal `$`. |