diff options
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> \ |