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
|
help_media = [
'figures/mate-terminal-default.png',
'figures/mate-terminal-tabbed.png',
]
help_pages = [
'index.page',
'legal.xml',
'mate-terminal-contents.page',
'mate-terminal-encoding.page',
'mate-terminal-first-start.page',
'mate-terminal-introduction.page',
'mate-terminal-manage-profiles.page',
'mate-terminal-more-windows.page',
'mate-terminal-prefs-colors.page',
'mate-terminal-prefs-compatibility.page',
'mate-terminal-prefs-effects.page',
'mate-terminal-prefs-general.page',
'mate-terminal-prefs-scrolling.page',
'mate-terminal-prefs-title.page',
'mate-terminal-profiles.page',
'mate-terminal-reset.page',
'mate-terminal-resize.page',
'mate-terminal-shortcuts.page',
'mate-terminal-tabs.page',
'mate-terminal-title.page',
'mate-terminal-to-start.page',
'mate-terminal-windows.page',
]
gnome.yelp('mate-terminal',
sources: help_pages,
media: help_media,
symlink_media: true,
)
|
