Code Review
/
deb_dpdk.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
review
|
tree
raw
|
patch
| inline |
side by side
(parent:
5f60216
)
Change DEB_BUILD_OPTIONS nodocs to nodoc
26/6926/1
author
Luca Boccassi
<luca.boccassi@gmail.com>
Tue, 30 May 2017 13:05:13 +0000
(14:05 +0100)
committer
Luca Boccassi
<luca.boccassi@gmail.com>
Tue, 30 May 2017 13:05:13 +0000
(14:05 +0100)
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>
debian/rules
patch
|
blob
|
history
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 nodoc
s
,$(DEB_BUILD_OPTIONS)))
+ifneq (,$(findstring nodoc,$(DEB_BUILD_OPTIONS)))
BUILD_DOCS=n
else
BUILD_DOCS=y