projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 032c24d) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Tue, 24 Mar 2020 01:50:31 +0000 (01:50 +0000)
committerSandro Tosi <morph@debian.org>
Tue, 24 Mar 2020 01:50:31 +0000 (01:50 +0000)
commit8b954443f27e05a46316939cefb668acb7cf5092
treeaeb23ad59bed5a9f12bb0a0d56729d35fdaf684atree | snapshot
parent032c24d960a5fb551e5d0a40be4f55e24c9216a9commit | 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.