projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f447579) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Wed, 13 Dec 2023 10:28:47 +0000 (12:28 +0200)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 13 Dec 2023 10:28:47 +0000 (12:28 +0200)
commit735e42c1a7192965d91fdfffec60ad8e682d05cf
treeec2724384a83f52e80995591fb95829612bc3f67tree | snapshot
parentf447579dd93343c6371ca9a409d220aca3c33cf1commit | 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.