diff options
Diffstat (limited to 'debian')
-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 |