From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Tue, 2 Oct 2018 18:48:32 +0000 (+0100)
Subject: Don't build dpdk-doc when using the nodoc profile
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=529cc749eb771b5b761b28ae8daa20439e417b58;p=deb_dpdk.git

Don't build dpdk-doc when using the nodoc profile

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

diff --git a/debian/control b/debian/control
index 149396f8..9e99c1e0 100644
--- a/debian/control
+++ b/debian/control
@@ -67,6 +67,7 @@ Package: dpdk-doc
 Section: doc
 Architecture: all
 Multi-Arch: foreign
+Build-Profiles: <!nodoc>
 Homepage: https://dpdk.org/doc/guides/index.html
 Depends: libjs-jquery, libjs-underscore, python3:any, ${misc:Depends}, ${python3:Depends}
 Recommends: ${python3:Recommends}