From 6f328ef6de6a703a3fdf30b2d8a4da189dc00c69 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Tue, 22 Oct 2019 15:49:11 +0200 Subject: Rename GudhUI binary. --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/rules') diff --git a/debian/rules b/debian/rules index 5a0d0ba3..39f48a62 100755 --- a/debian/rules +++ b/debian/rules @@ -92,7 +92,7 @@ override_dh_auto_install: mv $(TMPBIN)/sparse_rips_persistence \ $(TMPBIN)/gudhi-sparse-rips-persistence - install -D build/GudhUI/GudhUI $(TMPBIN)/gudhui + mv $(TMPBIN)/GudhUI $(TMPBIN)/gudhui override_dh_compress: dh_compress -X.cpp -- cgit v1.2.3