projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 377d2ac) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Mon, 31 Jul 2023 22:47:27 +0000 (23:47 +0100)
committerScott Talbert <swt@techie.net>
Mon, 31 Jul 2023 22:47:27 +0000 (23:47 +0100)
commit9f91d02b232f93152548b4d5bf274c6aae16bf08
tree964664bc2e9daa5860c611759a0d376217dbfe1ctree | snapshot
parent377d2ac0977876acd3ae16c5e1e9d79d8d592690commit | 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.