From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Thu, 18 May 2017 18:21:38 +0000 (+0100)
Subject: Add option to disable docs build
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=155e2da43497ec305ae7e716a0f34056ea708855;hp=155e2da43497ec305ae7e716a0f34056ea708855;p=deb_dpdk.git

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>
---