mirror of
https://github.com/elementary/gala.git
synced 2024-08-15 18:10:39 +03:00
Make Documentation optional and disable it by default
This commit is contained in:
parent
c1090d3042
commit
64e8ca62a8
@ -244,7 +244,9 @@ subdir('plugins/notify')
|
|||||||
subdir('plugins/pip')
|
subdir('plugins/pip')
|
||||||
subdir('plugins/template')
|
subdir('plugins/template')
|
||||||
subdir('plugins/zoom')
|
subdir('plugins/zoom')
|
||||||
subdir('docs')
|
if get_option('documentation')
|
||||||
|
subdir('docs')
|
||||||
|
endif
|
||||||
subdir('po')
|
subdir('po')
|
||||||
|
|
||||||
meson.add_install_script('build-aux/meson/post_install.py')
|
meson.add_install_script('build-aux/meson/post_install.py')
|
||||||
|
1
meson_options.txt
Normal file
1
meson_options.txt
Normal file
@ -0,0 +1 @@
|
|||||||
|
option ('documentation', type : 'boolean', value : false)
|
Loading…
Reference in New Issue
Block a user