diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2021-04-22 14:59:42 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-04-22 14:59:42 +0200 |
| commit | 7a96e3b0a4bb573bb26ca8ff93b97900bdb486b3 (patch) | |
| tree | 1006d034e6fd8f4fe6859571d34f6271158af2be /doc | |
| parent | 40863a594372ede117533d5c0970a96d60e34371 (diff) | |
Add <version> install directory substitution in addition to <project>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.cli | 6 |
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 |