1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-06-15 23:35:34 +00:00

[doc] use join_paths method & datadir config for generating default doc_dir

This is more sane than hardcoding 'share/doc/elinks'
This commit is contained in:
أحمد المحمودي (Ahmed El-Mahmoudy) 2023-04-30 00:58:39 +02:00
parent 4fec042747
commit 6453d0dcea

View File

@ -19,7 +19,7 @@ endif
doc_dir = get_option('docdir')
if doc_dir == ''
doc_dir = get_option('prefix') / 'share/doc/elinks'
doc_dir = join_paths(get_option('prefix'), get_option('datadir'), 'doc', 'elinks')
endif
if pod2html.found()