Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Wed, 10 Apr 2024 11:24:01 +0000 (14:24 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 10 Apr 2024 11:24:01 +0000 (14:24 +0300)
commit7dec63eec8521443bf4126886b689a5839ee15a9
treee038cbc41cdddbb3a9d6f71851488ed97987b688
parent1acc4b787dfe7b1faa26a8a91fa7f157d15e7f76
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