mirror of
https://github.com/tio/tio.git
synced 2026-05-01 14:57:59 +02:00
Add meson man pages install option
Defaults to installing man pages.
This commit is contained in:
parent
67640d4a00
commit
6c520090c6
2 changed files with 8 additions and 1 deletions
|
|
@ -80,4 +80,8 @@ if host_machine.system() == 'linux'
|
||||||
endif
|
endif
|
||||||
|
|
||||||
subdir('src')
|
subdir('src')
|
||||||
|
|
||||||
|
install_man_pages = get_option('install_man_pages')
|
||||||
|
if install_man_pages
|
||||||
subdir('man')
|
subdir('man')
|
||||||
|
endif
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,6 @@
|
||||||
option('bashcompletiondir',
|
option('bashcompletiondir',
|
||||||
type : 'string',
|
type : 'string',
|
||||||
description : 'Directory for bash completion scripts ["no" disables]')
|
description : 'Directory for bash completion scripts ["no" disables]')
|
||||||
|
option('install_man_pages',
|
||||||
|
type : 'boolean', value: true,
|
||||||
|
description : 'Install man pages')
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue