Hi, Please find the patch attached.
Thanks for considering. Regards. -- Alessio Treglia | www.alessiotreglia.com Debian Developer | [email protected] Ubuntu Core Developer | [email protected] 0416 0004 A827 6E40 BB98 90FB E8A4 8AE5 311D 765A
From 4c7d1ea61071d68328200a9ff8ab222ccc4ffe21 Mon Sep 17 00:00:00 2001 From: Alessio Treglia <[email protected]> Date: Wed, 9 Dec 2015 01:04:38 +0000 Subject: [PATCH] Ship libinput-tools Closes: #806985 Thanks: Ritesh Raj Sarraf for reporting this. --- debian/control | 18 ++++++++++++++++++ debian/libinput-tools.install | 2 ++ 2 files changed, 20 insertions(+) create mode 100644 debian/libinput-tools.install diff --git a/debian/control b/debian/control index 464a4f6..cd5e772 100644 --- a/debian/control +++ b/debian/control @@ -76,3 +76,21 @@ Description: input device management and event handling library - development fi processing and abstraction so minimize the amount of custom input code the user of libinput need to provide the common set of functionality that users expect. + +Package: libinput-tools +Section: libdevel +Priority: extra +Architecture: any +Multi-Arch: allowed +Depends: + libinput10 (= ${binary:Version}), + ${shlibs:Depends}, + ${misc:Depends}, +Description: input device management and event handling library - command line tools + libinput is a library that handles input devices for display servers and + other applications that need to directly deal with input devices. + . + It provides device detection, device handling, input device event + processing and abstraction so minimize the amount of custom input + code the user of libinput need to provide the common set of + functionality that users expect. diff --git a/debian/libinput-tools.install b/debian/libinput-tools.install new file mode 100644 index 0000000..68671de --- /dev/null +++ b/debian/libinput-tools.install @@ -0,0 +1,2 @@ +usr/bin/* +usr/share/man/man1/* -- 2.5.0
