diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2018-10-02 19:48:32 +0100 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 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} |