diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-20 12:29:08 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-20 12:30:34 +0200 |
commit | 675ac1a46fc299102c4e4b9b285da6bb099dfd6e (patch) | |
tree | 616be9d88249011041d871c3c81c2ac970104e2b | |
parent | 56a1ac144c60e3a65f07114f62daeac074b79a20 (diff) |
Don't install information about the Miniball header.
-rwxr-xr-x | debian/rules | 4 |
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 \ |