From 5ce47a4fb1187c45c57ac3901c8dd10d2ff61f3f Mon Sep 17 00:00:00 2001 From: Michael Zanetti Date: Wed, 12 Jul 2017 11:03:56 +0200 Subject: [PATCH] this should do now --- debian/rules | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debian/rules b/debian/rules index 4b996591..8424e45e 100755 --- a/debian/rules +++ b/debian/rules @@ -11,9 +11,9 @@ else endif $(info Building with DEB_BUILD_OPTIONS: [${DEB_BUILD_OPTIONS}]) -MAKE_TARGETS="all" -ifneq (,$(filter nodocs,$(DEB_BUILD_OPTIONS))) - MAKE_TARGETS += " doc" +MAKE_TARGETS=all +ifeq (,$(filter nodocs,$(DEB_BUILD_OPTIONS))) + MAKE_TARGETS += doc endif DPKG_EXPORT_BUILDFLAGS = 1