diff options
author | David Waern <david.waern@gmail.com> | 2008-10-20 21:13:24 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-10-20 21:13:24 +0000 |
commit | 6540f377aa3aae38fb397b0353a7637b20767340 (patch) | |
tree | a91ebbb700008ab3b24433ab4b16c0e403960851 /doc/docbook-xml.mk | |
parent | f8a9a5dddd823dccf9e1ba723f0f2c500e4cc6a9 (diff) |
Do not save hidden modules in the .haddock file
We were saving interfaces of all processed modules including those hidden using
{-# OPTIONS_HADDOCK hide #-} in the .haddock file. This caused broken links
when generating the index for the libraries that come with GHC.
This patch excludes modules with hidden documentation when writing .haddock
files. It should fix the above problem.
Diffstat (limited to 'doc/docbook-xml.mk')
0 files changed, 0 insertions, 0 deletions