Change DEB_BUILD_OPTIONS nodocs to nodoc

Debian Policy version 4.0.0 was just released and nodoc is officially
recommended and recognised. Rename the option to comply.

Change-Id: If80282f5e47b05065dd427d067f6e37c0f349517
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>

diff --git a/debian/rules b/debian/rules
index b2a059a..5c14b37 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -75,7 +75,7 @@ else
     PAR := "1"
 endif
 
-ifneq (,$(findstring nodocs,$(DEB_BUILD_OPTIONS)))
+ifneq (,$(findstring nodoc,$(DEB_BUILD_OPTIONS)))
 BUILD_DOCS=n
 else
 BUILD_DOCS=y