diff options
author | David Waern <david.waern@gmail.com> | 2008-11-15 22:59:33 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-11-15 22:59:33 +0000 |
commit | 41fbe99fb430b4de1ec7aac30a67e8023821f449 (patch) | |
tree | 2109c31dd127868532d4676b97d680fdb8097817 /html/haddock-util.js | |
parent | ca24f467c6aeaa56bcdc04cc3f58eadc1abf93ba (diff) |
Store hidden modules in .haddock files
We store documentation for an entity in the 'InstalledInterface' of the
definition site module, and never in the same structure for a module which
re-exports the entity. So when a client of the Haddock library wants to look up
some documentation, he/she might need to access a hidden module. But we
currently don't store hidden modules in the .haddock files.
So we add the hidden modules and the Haddock options to the .haddock files.
The options will be used to filter the module list to obtain the visible
modules only, which is necessary for generating the contents and index for
installed packages.
Diffstat (limited to 'html/haddock-util.js')
0 files changed, 0 insertions, 0 deletions