Bug#614715: lintian: should warn about duplicated files under /usr/share/doc/<packagename>/

[Axel Beckert <abe@debian.org>]

Axel Beckert wrote:
> I manually filed bugs for those 9 packages(*), but I fear that on bigger
> installations way more such cases can be found.

Indeed. These are the worst cases (single duplicated files > 100kiB) I
found on a bigger installation:

[DryRun] Linking /usr/share/doc/asciidoc/doc/asciidoc.txt to /usr/share/doc/asciidoc/examples/website/userguide.txt (-202.10 KiB)
[DryRun] Linking /usr/share/doc/asciidoc/doc/images/highlighter.png to /usr/share/doc/asciidoc/examples/website/images/highlighter.png (-125.14 KiB)
[DryRun] Linking /usr/share/doc/libgtk2.0-common/ChangeLog.gz to /usr/share/doc/libgtk2.0-common/changelog.gz (-285.01 KiB)

Will at least file yet another bug of this type against asciidoc. It
contains nearly 0.5 MB of duplicated files in
/usr/share/doc/asciidoc/.

Maybe the severity of such a test could depend on the wasted disk space:

  < 100 Bytes  -> pedantic
  < 1   kBytes -> informational
  < 100 kBytes -> warning
  > 100 kBytes -> error

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe@debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE
  `-    |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5