Change DEB_BUILD_OPTIONS nodocs to nodoc
[deb_dpdk.git] / debian / dpdk.install
2016-06-15 Christian EhrhardtMerge Ubuntu DPDK packaging as of 15th June 2016 79/1579/1