From 34fbf774e4dbfbb3b3d77f6dec10bbe153abe6b7 Mon Sep 17 00:00:00 2001
From: Michael Zanetti <michael_zanetti@gmx.net>
Date: Thu, 22 Jun 2017 19:27:30 +0200
Subject: [PATCH] add docs only if nodocs is not set

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

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