10 Jun
2012
10 Jun
'12
3:56 p.m.
Hi, Am Freitag, den 08.06.2012, 08:55 +0100 schrieb Chris Dornan:
I would like to get rid of them soon on my distro (and no doubt the Debian people would like their packages to be warning free too).
actually in Debian it is quite common to install the -dev package, but not the -doc packages. Hence we have completely disabled the warning in Debian: http://patch-tracker.debian.org/patch/series/view/ghc/7.4.1-3/no-missing-had... Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata