diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index b4b7ec61..f07b6305 100755 --- a/debian/rules +++ b/debian/rules @@ -58,9 +58,6 @@ override_dh_auto_install: dh_auto_install $(DHFLAGS) --builddirectory=build$$py3ver ; \ done - # 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 |