diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-29 08:45:09 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-29 08:45:09 +0200 |
commit | 7daa7916182025d737f439da5fe5d67fe1a2fb8c (patch) | |
tree | 7604da6f22d2262dbdddd60053cc897dc5b478b3 /doc | |
parent | d1d28c5f261e39013b8b987d58b3c0acaa8c762b (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.cli | 1 |
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> \ |