gplugin/gplugin

Merge develop into default for the release
v0.29.0
2019-11-07, Gary Kramlich
fc9c95c883ae
Merge develop into default for the release
if get_option('gtk3')
gplugin_gtk_viewer_resources = gnome.compile_resources(
'gplugin-gtk-viewer-resources',
'data/gplugin-gtk-viewer.gresource.xml',
c_name: 'gplugin_gtk_viewer',
source_dir: 'data')
gplugin_gtk_viewer = executable('gplugin-gtk-viewer',
'gplugin-gtk-viewer.c',
'gplugin-gtk-viewer-window.c',
'gplugin-gtk-viewer-window.h',
dependencies : [gplugin_dep, gplugin_gtk_dep],
install : true
)
if get_option('help2man')
gplugin_gtk_viewer_man = custom_target('gplugin-gtk-viewer.1',
command : [help2man,
'--name=View installed plugins', '--section=1',
'--help-option=--help-all', '--no-info',
'--output', '@OUTPUT@',
gplugin_gtk_viewer],
output : 'gplugin-gtk-viewer.1',
install : true,
install_dir : join_paths(get_option('mandir'), 'man1'))
endif
endif