Fix nodocs/nodoc confusion in Debian packaging.
2 files changed