projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e111b4) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Mon, 17 Feb 2025 08:44:23 +0000 (09:44 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 17 Feb 2025 08:44:23 +0000 (09:44 +0100)
commite5e201881843b3b5c9e95661ef7f60e06f54c4ad
tree2e9e50d5a40c91ffb366a12ace843a5bb2133ecatree | snapshot
parent3e111b4ebfe7c702d061b7bb12d13c048a2f5f07commit | 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.