diff options
| author | David Waern <david.waern@gmail.com> | 2009-01-06 23:34:17 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2009-01-06 23:34:17 +0000 |
| commit | b2eb5f3573d2f2eb836f5524ba1540f1d2da175f (patch) | |
| tree | 582400cbedcd082628cbe6ca01999a8b0475ecc5 /html/minus.gif | |
| parent | ca90e10eab9c938f211ce5e83ae0e8c15222a958 (diff) | |
Do not process boot modules
We should of course not try to produce documentation for boot modules! The
reason this has worked in the past is that the output of "real" modules
overwrites the output of boot modules later in the process. However, this
causes a subtle link environment problem. So let's get rid of this stupid
behaviour.
We avoid processing boot modules, but we continue to typecheck them.
Diffstat (limited to 'html/minus.gif')
0 files changed, 0 insertions, 0 deletions