Add option to disable docs build
[deb_dpdk.git] / debian / source / options
1 extend-diff-ignore = '(^|/)(\.gitreview|\.git)$'