nodoc, not nodocs

This commit is contained in:
Michael Zanetti 2017-07-12 11:16:45 +02:00
parent 5ce47a4fb1
commit 5453f45f96

2
debian/rules vendored
View File

@ -12,7 +12,7 @@ endif
$(info Building with DEB_BUILD_OPTIONS: [${DEB_BUILD_OPTIONS}])
MAKE_TARGETS=all
ifeq (,$(filter nodocs,$(DEB_BUILD_OPTIONS)))
ifeq (,$(filter nodoc,$(DEB_BUILD_OPTIONS)))
MAKE_TARGETS += doc
endif