projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c90eebd) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Sat, 24 Sep 2022 07:06:11 +0000 (08:06 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sat, 24 Sep 2022 07:06:11 +0000 (08:06 +0100)
commit4e1d2f98ac396bb78df05985ab8c46a34e2800d1
tree9198e37ab470528c36fadf8cf73b05c81ec402c3tree | snapshot
parentc90eebd6fab3445760d453838f007ffa9c2a56e6commit | 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.