aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorDavid Waern <david.waern@gmail.com>2009-01-06 23:34:17 +0000
committerDavid Waern <david.waern@gmail.com>2009-01-06 23:34:17 +0000
commitb2eb5f3573d2f2eb836f5524ba1540f1d2da175f (patch)
tree582400cbedcd082628cbe6ca01999a8b0475ecc5 /README
parentca90e10eab9c938f211ce5e83ae0e8c15222a958 (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 'README')
0 files changed, 0 insertions, 0 deletions