diff options
| author |  panne <unknown> | 2002-12-26 21:01:46 +0000 |
|---|---|---|
| committer | panne <unknown> | 2002-12-26 21:01:46 +0000 |
| commit | 8ebecebbae8ae729f146c67b1632af0c2d1bdaf8 (patch) | |
| tree | 00179c353dfaaf99a076e5d86696e31a9eef3a1f /include | |
| parent | 6681d4c6e43b2e38455660dcaf169fa1dc0bd539 (diff) | |
[project @ 2002-12-26 21:01:46 by panne]
Once again: Make Haddock happy.
Running Haddock in addition to ghc (i.e. use 'make all html' instead
of plain 'make') before a commit would be nice, especially as buglets
like this break a 3 hour RPM build just before it can finish... :-(
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions