projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c83e248) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Mon, 19 Feb 2024 16:12:25 +0000 (17:12 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 19 Feb 2024 16:12:25 +0000 (17:12 +0100)
commite0ec2d72bfe11d53658b38c93e4cc83030722f26
treeacf0641b569255e7a31cfa96eb45b257257457b1tree | snapshot
parentc83e2482609f75c966c5f8ea856ee927351392c8commit | 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.