projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d03d64) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Tue, 11 Aug 2020 14:12:43 +0000 (15:12 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Tue, 11 Aug 2020 14:12:43 +0000 (15:12 +0100)
commitf7aac2c083bd05bd9956bfb6952e10c1eb441911
tree5e19cda852f9bbf0bf78ef65414dc7f70e05f07ctree | snapshot
parent1d03d648b0c78de72b3fdb77448f78aaf31c9460commit | 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.