projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3961117) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Thu, 30 Sep 2021 18:21:04 +0000 (19:21 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Thu, 30 Sep 2021 18:21:04 +0000 (19:21 +0100)
commit03fc4857901364a6cb11434bfa6dd9ebb4c43fac
tree94f1d71e41f7ef0f84c06298acb9c9bbd65fab5btree | snapshot
parent39611174afd44e1973ad66ebb63d08ddab054a56commit | 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.