Code Review / deb_dpdk.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | patch | inline | side by side (from: 155e2da)
Add option to disable docs build 65/6765/1
authorLuca Boccassi <luca.boccassi@gmail.com>
Thu, 18 May 2017 18:21:38 +0000 (19:21 +0100)
committerLuca Boccassi <luca.boccassi@gmail.com>
Thu, 18 May 2017 18:21:38 +0000 (19:21 +0100)
Takes some good time to build the documentation, so add a
DEB_BUILD_OPTIONS nodocs variable to let users disable it.

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

No differences found
ARCHIVED- 2020-02-20 at the request of the project