[ppl] 03/03: Remove empty directories from packages.

[Tobias Hansen]

This is an automated email from the git hooks/post-receive script.

thansen pushed a commit to branch master
in repository ppl.

commit 609d9026ef9e48626acdfe8d4d9218f9173e1d38
Author: Tobias Hansen <thansen at broeselmaschine.fc.up.pt>
Date:   Sat Nov 12 17:10:44 2016 +0000

    Remove empty directories from packages.
---
 debian/libppl-dev.dirs | 2 --
 debian/libppl-swi.dirs | 1 -
 2 files changed, 3 deletions(-)

diff --git a/debian/libppl-dev.dirs b/debian/libppl-dev.dirs
index 4141450..e43b95c 100644
--- a/debian/libppl-dev.dirs
+++ b/debian/libppl-dev.dirs
@@ -1,3 +1 @@
 usr/include
-usr/bin
-usr/share/man/man1
diff --git a/debian/libppl-swi.dirs b/debian/libppl-swi.dirs
deleted file mode 100644
index 4422028..0000000
--- a/debian/libppl-swi.dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/lib/ppl

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git