aboutsummaryrefslogtreecommitdiffstats
path: root/debian
diff options
context:
space:
mode:
authorLuca Boccassi <luca.boccassi@gmail.com>2017-05-30 14:05:13 +0100
committerLuca Boccassi <luca.boccassi@gmail.com>2017-05-30 14:05:13 +0100
commited7798327d28889f6b6e08c6eb2966c9d92c9cfa (patch)
treef6dce5e953492381bd1e22caee2acb8cd1b43ef5 /debian
parent5f6021664aa3edf36ab7f37378c032a86bb655b2 (diff)
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>
Diffstat (limited to 'debian')
-rwxr-xr-xdebian/rules2
1 files changed, 1 insertions, 1 deletions
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