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