projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b40a8e6) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Tue, 5 Nov 2024 23:21:23 +0000 (00:21 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Tue, 5 Nov 2024 23:21:23 +0000 (00:21 +0100)
commit619350a91e7c02b858762f05f27f9d8e637b98cd
tree9b0cf9dd5d2319e03d87ea57cbd5375b9bbf0f81tree | snapshot
parentb40a8e6f371796f84f332c152c0e6f60d91410dfcommit | 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.