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