retitle 865869 debhelper: Don't run dh_installdocs if nodoc is specified in DEB_BUILD_PROFILES thanks
(Whoops, I think I meant DEB_BUILD_PROFILES, not DEB_BUILD_OPTIONS. But
perhaps this applies to both.)
Regards,
--
,''`.
: :' : Chris Lamb, Debian Project Leader
`. `'` la...@debian.org / chris-lamb.co.uk
`-
