aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2021-04-22 14:59:42 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2021-04-22 14:59:42 +0200
commit7a96e3b0a4bb573bb26ca8ff93b97900bdb486b3 (patch)
tree1006d034e6fd8f4fe6859571d34f6271158af2be /doc
parent40863a594372ede117533d5c0970a96d60e34371 (diff)
Add <version> install directory substitution in addition to <project>HEADmaster
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.cli6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index 3ee3016..b12fa84 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -5901,9 +5901,9 @@ man share/man/ install.man
man<N> man/man<N>/ install.man<N>
\
-The \c{<project>} and \c{<private>} substitutions in these
-\c{config.install.*} values are replaced with the project name and private
-subdirectory, respectively. If either is empty, then the corresponding
+The \c{<project>}, \c{<version>}, and \c{<private>} substitutions in these
+\c{config.install.*} values are replaced with the project name, version, and
+private subdirectory, respectively. If either is empty, then the corresponding
directory component is ignored.
The optional private installation subdirectory (\c{<private>}) mechanism can