1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
install_man('update-mime-database.1')
freedesktop_org_xml = i18n.merge_file(
input: 'freedesktop.org.xml.in',
output: 'freedesktop.org.xml',
data_dirs: '.',
po_dir: '../po',
type: 'xml',
install: true,
install_dir: get_option('datadir') / 'mime' / 'packages',
)
install_data(
[ 'its/shared-mime-info.loc', 'its/shared-mime-info.its', ],
install_dir : get_option('datadir') / 'gettext/its'
)
if xmlto.found()
custom_target('shared-mime-info-spec-html',
input : 'shared-mime-info-spec.xml',
output: 'shared-mime-info-spec-html',
command: [
xmlto,
'-o', '@OUTPUT@',
'html-nochunks',
'@INPUT@',
],
build_by_default: true,
)
endif
|
