diff options
| author | Reuben Thomas <rrt@sc3d.org> | 2014-10-01 15:38:56 +0100 |
|---|---|---|
| committer | Reuben Thomas <rrt@sc3d.org> | 2014-10-01 15:38:56 +0100 |
| commit | ba887064cedad472190f10665fb3433c81ee8d53 (patch) | |
| tree | 1ff680af61d18484db14f858c664af73af98513d | |
| parent | 719db297b416d06d1438525f93b71c4b0eb5b484 (diff) | |
| download | plptools-ba887064cedad472190f10665fb3433c81ee8d53.tar.gz plptools-ba887064cedad472190f10665fb3433c81ee8d53.tar.bz2 plptools-ba887064cedad472190f10665fb3433c81ee8d53.zip | |
Remove unused and unuseful -dev package
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/control | 9 | ||||
| -rw-r--r-- | debian/plptools-dev.docs | 3 | ||||
| -rw-r--r-- | debian/plptools-dev.install | 3 |
4 files changed, 1 insertions, 15 deletions
diff --git a/debian/changelog b/debian/changelog index f4d8c50..c02363a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -12,6 +12,7 @@ plptools (1.0.13-0.1) unstable; urgency=low * Fix handling of *_ARGS variables containing spaces in /etc/default/plptools, and use correct flag to plpprintd for print command. (Closes: #238921) + * Remove -dev package, which is unused and has no (build-)deps. -- Reuben Thomas <rrt@sc3d.org> Tue, 22 Jul 2014 15:47:33 +0100 diff --git a/debian/control b/debian/control index 032494f..b8bbe65 100644 --- a/debian/control +++ b/debian/control @@ -17,12 +17,3 @@ Description: Access EPOC device (Psion PDA) over a serial link You can mount them, access them FTP-style, use a local printer from the remote device (EPOC32 only) and install applications from SIS files. - -Package: plptools-dev -Architecture: linux-any kfreebsd-any -Section: devel -Depends: plptools (= ${binary:Version}),${misc:Depends} -Description: plptools (development files) - This package provides a static library, headers and API documentation - for plptools development. You need these files if you want to build - programs which use libplp. diff --git a/debian/plptools-dev.docs b/debian/plptools-dev.docs deleted file mode 100644 index 48b790a..0000000 --- a/debian/plptools-dev.docs +++ /dev/null @@ -1,3 +0,0 @@ -etc/psidump* -etc/*magic* -etc/ttytap.c diff --git a/debian/plptools-dev.install b/debian/plptools-dev.install deleted file mode 100644 index 27983a2..0000000 --- a/debian/plptools-dev.install +++ /dev/null @@ -1,3 +0,0 @@ -usr/lib/*/libplp.so -usr/lib/*/libplp.a -usr/include/plptools |