From cf0106d9a7c7be338390f5c1351b7db61167b481 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Thu, 8 Mar 2018 23:34:02 +0100 Subject: Use debian/clean instead of override_dh_auto_clean. --- debian/clean | 2 ++ debian/rules | 5 ----- 2 files changed, 2 insertions(+), 5 deletions(-) create mode 100644 debian/clean diff --git a/debian/clean b/debian/clean new file mode 100644 index 00000000..1258531f --- /dev/null +++ b/debian/clean @@ -0,0 +1,2 @@ +GUDHIVersion.cmake +doc/html/ diff --git a/debian/rules b/debian/rules index 626a2651..048d9adf 100755 --- a/debian/rules +++ b/debian/rules @@ -13,11 +13,6 @@ LDFLAGS:=$(shell dpkg-buildflags --get LDFLAGS) override_dh_auto_configure: dh_auto_configure -- -DWITH_GUDHI_BENCHMARK=true -DWITH_GUDHI_EXAMPLE=true -DWITH_GUDHI_PYTHON=true -DWITH_GUDHI_TEST=true -DWITH_GUDHI_UTILITIES=true -override_dh_auto_clean: - rm -f GUDHIVersion.cmake - rm -rf doc/html - dh_auto_clean --builddirectory=build - override_dh_auto_build: make -C build doxygen dh_auto_build --builddirectory=build -- cgit v1.2.3