aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
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