Hi,
Here's a patch to fix it. I've tested it here and it seems
to work as required.
Cheers,
Erik
--- checks/menus.orig 2010-06-23 21:09:22.839435538 +1000
+++ checks/menus 2010-06-23 21:08:55.435468119 +1000
@@ -203,7 +203,14 @@
}
closedir DOCBASEDIR;
} elsif ($documentation) {
- tag "possible-documentation-but-no-doc-base-registration";
+ if ($pkg =~ /^libghc6-.*-doc$/) {
+ # This is the library documentation for a haskell library. Haskell
+ # libraries register their documentation via the ghc compiler's
+ # documetation registration mechanism.
+ # See bug #586877.
+ } else {
+ tag "possible-documentation-but-no-doc-base-registration";
+ }
}
if ($anymenu_file) {
--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
