From 7a96e3b0a4bb573bb26ca8ff93b97900bdb486b3 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 22 Apr 2021 14:59:42 +0200 Subject: Add install directory substitution in addition to --- doc/manual.cli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc') 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 man/man/ install.man \ -The \c{} and \c{} 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{}, \c{}, and \c{} 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{}) mechanism can -- cgit v1.1