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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
gedit_help_sources = [
'gedit-brief-intro.page',
'gedit-change-color-scheme.page',
'gedit-change-default-font.page',
'gedit-close-file.page',
'gedit-create-new-file.page',
'gedit-edit-as-root.page',
'gedit-files-basic.page',
'gedit-full-screen.page',
'gedit-general-intro.page',
'gedit-open-file.page',
'gedit-open-files-from-sidepane.page',
'gedit-open-on-server.page',
'gedit-open-recent.page',
'gedit-open-several-files-at-once.page',
'gedit-plugin-guide.page',
'gedit-plugins-change-case.page',
'gedit-plugins-doc-stats.page',
'gedit-plugins-external-tools.page',
'gedit-plugins-file-browser.page',
'gedit-plugins-insert-date-time.page',
'gedit-plugins-install.page',
'gedit-plugins-modelines.page',
'gedit-plugins-pyconsole.page',
'gedit-plugins-quick-open.page',
'gedit-plugins-snippets.page',
'gedit-plugins-sort.page',
'gedit-printing-order.page',
'gedit-printing.page',
'gedit-printing-select.page',
'gedit-save-file.page',
'gedit-search.page',
'gedit-search-and-replace.page',
'gedit-spellcheck.page',
'gedit-syntax-highlighting.page',
'gedit-tab-groups.page',
'gedit-tabs.page',
'gedit-undo-redo.page',
'index.page',
]
gedit_help_media = [
'figures/gedit-html-snippet.png',
'figures/gedit-icon.png',
'figures/gedit3-screenshot.png',
]
gnome.yelp(
meson.project_name(),
sources: gedit_help_sources,
media: gedit_help_media,
symlink_media: true,
)
|
