projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbf62e3) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Wed, 23 Dec 2020 22:15:42 +0000 (22:15 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Wed, 23 Dec 2020 22:15:42 +0000 (22:15 +0000)
commit11d4b28e313660b51e85c99cb0e045ff2e6c38df
treeaf51a4b93a87eb7090ec3ad0190e41d57906529btree | snapshot
parentcbf62e344fdbeddee43ff4e710e0a37f659a739fcommit | 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.