From ed7798327d28889f6b6e08c6eb2966c9d92c9cfa Mon Sep 17 00:00:00 2001 From: Luca Boccassi Date: Tue, 30 May 2017 14:05:13 +0100 Subject: [PATCH] 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 --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.16.6