From c948b8c0d5d4069a2e4cd492e759fd1135a27154 Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Fri, 18 Jul 2014 22:31:34 +0100 Subject: Update and overhaul Debian packaging --- debian/plptools-dev.install | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 debian/plptools-dev.install (limited to 'debian/plptools-dev.install') diff --git a/debian/plptools-dev.install b/debian/plptools-dev.install new file mode 100644 index 0000000..27983a2 --- /dev/null +++ b/debian/plptools-dev.install @@ -0,0 +1,3 @@ +usr/lib/*/libplp.so +usr/lib/*/libplp.a +usr/include/plptools -- cgit v1.2.3