From e21740a852279978c1d781398b7e149350b59079 Mon Sep 17 00:00:00 2001
From: Michael Zanetti <michael_zanetti@gmx.net>
Date: Thu, 22 Jun 2017 21:14:22 +0200
Subject: [PATCH] try this

---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/rules b/debian/rules
index 84d292cd..0ad97205 100755
--- a/debian/rules
+++ b/debian/rules
@@ -11,8 +11,8 @@ else
 endif
 
 MAKE_TARGETS="all"
-ifneq (,$(findstring nodocs, $(DEB_BUILD_OPTIONS))) 
-	MAKE_TARGETS += doc
+ifneq (,$(filter nodocs,$(DEB_BUILD_OPTIONS)))
+	MAKE_TARGETS += " doc"
 endif 
 
 DPKG_EXPORT_BUILDFLAGS = 1