Code Review / deb_dpdk.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: cbb89ef) | patch
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)
commit155e2da43497ec305ae7e716a0f34056ea708855
tree63ebf41ff6f241e1397e597d36694e04e33ca74btree | snapshot
parentcbb89ef6a1840a065940aae10f1d290a2b0d229fcommit | diff
Add option to disable docs build

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>
debian/rules diff | blob | history
ARCHIVED- 2020-02-20 at the request of the project