projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4126e8) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Fri, 31 Jul 2020 15:48:26 +0000 (16:48 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Fri, 31 Jul 2020 15:48:26 +0000 (16:48 +0100)
commitdbb9d42b873319a1db559bb5ccc31c9384c5d8bc
tree9ccab892d496f73b6fe453de8ca199f0fa7e4a0ctree | snapshot
parentc4126e846c592f57dc2886d9a8ae825c0cdffb97commit | diff
Do not emit a warning if the .haddock file is missing

As it is quite common on Debian installations to install the -dev package
without the -doc package.

Gbp-Pq: Name no-missing-haddock-file-warning
utils/ghc-pkg/Main.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.