aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-06-29 08:45:09 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-06-29 08:45:09 +0200
commit7daa7916182025d737f439da5fe5d67fe1a2fb8c (patch)
tree7604da6f22d2262dbdddd60053cc897dc5b478b3 /doc
parentd1d28c5f261e39013b8b987d58b3c0acaa8c762b (diff)
Add legal{} target type and config.install.legal variable
This allows separation of legal files (LICENSE, AUTHORS, etc) from other documentation. For example: ./: ... doc{README} legal{LICENSE} $ b install ... config.install.legal=/usr/share/licenses/hello/
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.cli1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index c0ae061..104d6cd 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -2248,6 +2248,7 @@ data data_root/share/<project>/ config.install.data
include data_root/include/ config.install.include
doc data_root/share/doc/<project>/ config.install.doc
+legal doc/ config.install.legal
man data_root/share/man/ config.install.man
man<N> man/man<N>/ config.install.man<N>
\