summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2019-10-23 11:10:56 +0200
committerGard Spreemann <gspr@nonempty.org>2019-10-23 11:10:56 +0200
commit839b9d3f84099865838547330540cb1d62edfe46 (patch)
tree79089ca367fbf0acc30b64c829331fa29c5e6a6a
parent301a2ee1c63d2f1dd6788f43086ba5da5a779e60 (diff)
Don't install Miniball copyright notice with headers. Reverts 5f43063ddeafda0f29484faab359953127da0cf8.
-rwxr-xr-xdebian/rules3
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index 39f48a62..dba306ef 100755
--- a/debian/rules
+++ b/debian/rules
@@ -60,6 +60,9 @@ override_dh_auto_install:
dh_auto_install $(DHFLAGS) --builddirectory=build$$py3ver ; \
done
+ # Remove installed information about Miniball header.
+ rm build/gudhi/include/gudhi/Miniball.COPYRIGHT
+ rm build/gudhi/include/gudhi/Miniball.README
mv $(TMPBIN)/Nerve \
$(TMPBIN)/gudhi-nerve