summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2019-09-26 18:04:07 +0200
committerGard Spreemann <gspr@nonempty.org>2019-10-22 15:06:40 +0200
commit5f43063ddeafda0f29484faab359953127da0cf8 (patch)
treef900fdc7fe88fc15b9ec7ef788abe491677ec01b
parenta0e72413f0c559966f71c790426cbf51ef198589 (diff)
Remove handling of files that are no longer installed.
-rwxr-xr-xdebian/rules3
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