diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-10-23 11:10:56 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-23 11:10:56 +0200 |
commit | 839b9d3f84099865838547330540cb1d62edfe46 (patch) | |
tree | 79089ca367fbf0acc30b64c829331fa29c5e6a6a | |
parent | 301a2ee1c63d2f1dd6788f43086ba5da5a779e60 (diff) |
Don't install Miniball copyright notice with headers. Reverts 5f43063ddeafda0f29484faab359953127da0cf8.
-rwxr-xr-x | debian/rules | 3 |
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 |