diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 3a28c2ca..b758e4ec 100755 --- a/debian/rules +++ b/debian/rules @@ -61,8 +61,8 @@ override_dh_auto_install: done # Remove installed information about Miniball header. - rm build/gudhi/include/gudhi/Miniball.COPYRIGHT - rm build/gudhi/include/gudhi/Miniball.README + rm -f build/gudhi/include/gudhi/Miniball.COPYRIGHT + rm -f build/gudhi/include/gudhi/Miniball.README mv $(TMPBIN)/Nerve \ $(TMPBIN)/gudhi-nerve |