mirror of
https://gitlab.freedesktop.org/libinput/libinput.git
synced 2026-05-09 08:18:02 +02:00
tools: split the install_man() up for better grouping of tools
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
parent
4508e29a47
commit
f245884dd5
1 changed files with 2 additions and 3 deletions
|
|
@ -361,6 +361,7 @@ executable('libinput-debug-events',
|
||||||
install_dir : libinput_tool_path,
|
install_dir : libinput_tool_path,
|
||||||
install : true
|
install : true
|
||||||
)
|
)
|
||||||
|
install_man('tools/libinput-debug-events.1')
|
||||||
|
|
||||||
libinput_list_devices_sources = [ 'tools/libinput-list-devices.c' ]
|
libinput_list_devices_sources = [ 'tools/libinput-list-devices.c' ]
|
||||||
executable('libinput-list-devices',
|
executable('libinput-list-devices',
|
||||||
|
|
@ -370,6 +371,7 @@ executable('libinput-list-devices',
|
||||||
install_dir : libinput_tool_path,
|
install_dir : libinput_tool_path,
|
||||||
install : true,
|
install : true,
|
||||||
)
|
)
|
||||||
|
install_man('tools/libinput-list-devices.1')
|
||||||
|
|
||||||
if get_option('debug-gui')
|
if get_option('debug-gui')
|
||||||
dep_gtk = dependency('gtk+-3.0')
|
dep_gtk = dependency('gtk+-3.0')
|
||||||
|
|
@ -392,9 +394,6 @@ if get_option('debug-gui')
|
||||||
install_man('tools/libinput-debug-gui.1')
|
install_man('tools/libinput-debug-gui.1')
|
||||||
endif
|
endif
|
||||||
|
|
||||||
install_man('tools/libinput-list-devices.1',
|
|
||||||
'tools/libinput-debug-events.1')
|
|
||||||
|
|
||||||
libinput_sources = [ 'tools/libinput-tool.c' ]
|
libinput_sources = [ 'tools/libinput-tool.c' ]
|
||||||
|
|
||||||
executable('libinput',
|
executable('libinput',
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue