From 529cc749eb771b5b761b28ae8daa20439e417b58 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Tue, 2 Oct 2018 19:48:32 +0100
Subject: Don't build dpdk-doc when using the nodoc profile

Change-Id: Ia1dbaaffea54b1bd4986ac58769840ac9ccbb488
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
---
 debian/control | 1 +
 1 file changed, 1 insertion(+)

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}
-- 
cgit 1.2.3-korg