From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Tue, 30 May 2017 13:05:13 +0000 (+0100)
Subject: Change DEB_BUILD_OPTIONS nodocs to nodoc
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=refs%2Fchanges%2F26%2F6926%2F1;hp=5f6021664aa3edf36ab7f37378c032a86bb655b2;p=deb_dpdk.git

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 b2a059ad..5c14b37c 100755
--- 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