Don't build dpdk-doc when using the nodoc profile 64/15864/2
authorLuca Boccassi <luca.boccassi@gmail.com>
Tue, 2 Oct 2018 18:48:32 +0000 (19:48 +0100)
committerLuca Boccassi <luca.boccassi@gmail.com>
Tue, 13 Nov 2018 11:18:30 +0000 (11:18 +0000)
commit529cc749eb771b5b761b28ae8daa20439e417b58
tree82bc66b735bfc70b07a89f1b5b325609b7da65aa
parent418fa12aa9b143ee6519c43c3c1262c697e3a015
Don't build dpdk-doc when using the nodoc profile

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