mirror of
https://github.com/rkd77/elinks.git
synced 2024-11-04 08:17:17 -05:00
[meson] Added docdir option. Refs #224
By default docdir is $prefix/share/doc/elinks
This commit is contained in:
parent
0eeeb7e019
commit
852ca5f993
@ -15,7 +15,12 @@ if conf_data.get('CONFIG_REPRODUCIBLE')
|
||||
else
|
||||
asciidoc_env = []
|
||||
endif
|
||||
doc_dir = get_option('prefix') / 'share/doc/elinks'
|
||||
|
||||
doc_dir = get_option('docdir')
|
||||
|
||||
if doc_dir == ''
|
||||
doc_dir = get_option('prefix') / 'share/doc/elinks'
|
||||
endif
|
||||
|
||||
if pod2html.found()
|
||||
perl_html = custom_target('perl.html',
|
||||
|
@ -73,3 +73,4 @@ option('dgi', type: 'boolean', value: false, description: 'DOS Gateway Interface
|
||||
option('mujs', type: 'boolean', value: false, description: 'use mujs library')
|
||||
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('docdir', type: 'string', value: '', description: 'Documentation installation directory. Default $prefix/share/doc/elinks.')
|
||||
|
Loading…
Reference in New Issue
Block a user