projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1acc4b7) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Wed, 10 Apr 2024 11:24:01 +0000 (14:24 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 10 Apr 2024 11:24:01 +0000 (14:24 +0300)
commit7dec63eec8521443bf4126886b689a5839ee15a9
treee038cbc41cdddbb3a9d6f71851488ed97987b688tree | snapshot
parent1acc4b787dfe7b1faa26a8a91fa7f157d15e7f76commit | 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.