From 5f43063ddeafda0f29484faab359953127da0cf8 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Thu, 26 Sep 2019 18:04:07 +0200 Subject: Remove handling of files that are no longer installed. --- debian/rules | 3 --- 1 file changed, 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 -- cgit v1.2.3