projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bee70e5) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Sun, 15 Sep 2024 21:17:25 +0000 (00:17 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sun, 15 Sep 2024 21:17:25 +0000 (00:17 +0300)
commit651e51a7890eae9f0eebbe248643b1aa263cdc57
tree8e58131e0a2c32243f2fac6361dc54ffe84fc462tree | snapshot
parentbee70e557322b3aca6e27c0c97afb47d3fdc6bc1commit | 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.