1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-12-04 14:46:47 -05:00

[meson] Added -Ddoc option, default true

With -Ddoc=false rebuilds are faster.
This commit is contained in:
Witold Filipczyk 2023-12-23 14:12:46 +01:00
parent 8d0054041b
commit 3ae1622d94
2 changed files with 5 additions and 1 deletions

View File

@ -1033,4 +1033,7 @@ if conf_data.get('CONFIG_NLS')
endif endif
subdir('src') subdir('src')
subdir('contrib') subdir('contrib')
subdir('doc')
if get_option('doc')
subdir('doc')
endif

View File

@ -73,6 +73,7 @@ option('dgi', type: 'boolean', value: false, description: 'DOS Gateway Interface
option('mujs', type: 'boolean', value: false, description: 'use mujs library') option('mujs', type: 'boolean', value: false, description: 'use mujs library')
option('codepoint', type: 'boolean', value: true, description: 'whether check codepoints on Linux console') option('codepoint', type: 'boolean', value: true, description: 'whether check codepoints on Linux console')
option('test', type: 'boolean', value: false, description: 'whether build test programs') option('test', type: 'boolean', value: false, description: 'whether build test programs')
option('doc', type: 'boolean', value: true, description: 'whether build documentation')
option('docdir', type: 'string', value: '', description: 'Documentation installation directory. Default $prefix/share/doc/elinks.') option('docdir', type: 'string', value: '', description: 'Documentation installation directory. Default $prefix/share/doc/elinks.')
option('apidoc', type: 'boolean', value: true, description: 'whether to generate API docs with doxygen') option('apidoc', type: 'boolean', value: true, description: 'whether to generate API docs with doxygen')
option('htmldoc', type: 'boolean', value: true, description: 'whether to build html docs') option('htmldoc', type: 'boolean', value: true, description: 'whether to build html docs')