aboutsummaryrefslogtreecommitdiff
path: root/html/haddock-util.js
diff options
context:
space:
mode:
authorDavid Waern <david.waern@gmail.com>2008-11-15 22:59:33 +0000
committerDavid Waern <david.waern@gmail.com>2008-11-15 22:59:33 +0000
commit41fbe99fb430b4de1ec7aac30a67e8023821f449 (patch)
tree2109c31dd127868532d4676b97d680fdb8097817 /html/haddock-util.js
parentca24f467c6aeaa56bcdc04cc3f58eadc1abf93ba (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