projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59c3719) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Sun, 3 Oct 2021 11:27:00 +0000 (12:27 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sun, 3 Oct 2021 11:27:00 +0000 (12:27 +0100)
commit5c37a93bfc8f716f19408ba5499dff7783bcdc2b
treeb73f0a52ba626152016e4e66e12f737fe038c78ctree | snapshot
parent59c371933b8b892ec7928899d31bf4e26f31cf22commit | 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.