diff options
author | 2018-10-02 19:48:32 +0100 | |
---|---|---|
committer | 2018-11-13 11:18:30 +0000 | |
commit | 529cc749eb771b5b761b28ae8daa20439e417b58 (patch) | |
tree | 82bc66b735bfc70b07a89f1b5b325609b7da65aa /debian | |
parent | 418fa12aa9b143ee6519c43c3c1262c697e3a015 (diff) |
Don't build dpdk-doc when using the nodoc profile
Change-Id: Ia1dbaaffea54b1bd4986ac58769840ac9ccbb488
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian')
-rw-r--r-- | debian/control | 1 |
1 files changed, 1 insertions, 0 deletions
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} |