summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGard Spreemann <gspreemann@gmail.com>2018-06-20 12:29:08 +0200
committerGard Spreemann <gspreemann@gmail.com>2018-06-20 12:30:34 +0200
commit675ac1a46fc299102c4e4b9b285da6bb099dfd6e (patch)
tree616be9d88249011041d871c3c81c2ac970104e2b
parent56a1ac144c60e3a65f07114f62daeac074b79a20 (diff)
Don't install information about the Miniball header.
-rwxr-xr-xdebian/rules4
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index 99590d84..3047cf7e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -26,6 +26,10 @@ override_dh_auto_install:
find example -type f \( -name '*.cpp' -o \( -name '*.txt' -a ! -iname 'cmake*' \) \) -exec sh -c 'install -D -m 644 $$0 debian/tmp/usr/share/doc/libgudhi-examples/$$0' {} \;
dh_auto_install --builddirectory=build
+ # Remove installed information about Miniball header.
+ rm debian/tmp/usr/include/gudhi/Miniball.COPYRIGHT
+ rm debian/tmp/usr/include/gudhi/Miniball.README
+
mv $(TMPBIN)/Nerve \
$(TMPBIN)/gudhi-nerve
mv $(TMPBIN)/VoronoiGIC \