diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-09-26 18:04:07 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 15:06:40 +0200 |
commit | 5f43063ddeafda0f29484faab359953127da0cf8 (patch) | |
tree | f900fdc7fe88fc15b9ec7ef788abe491677ec01b /debian | |
parent | a0e72413f0c559966f71c790426cbf51ef198589 (diff) |
Remove handling of files that are no longer installed.
Diffstat (limited to 'debian')
-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 |