diff options
| author | David Waern <david.waern@gmail.com> | 2011-01-22 00:00:35 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2011-01-22 00:00:35 +0000 |
| commit | 4bc5e999c3b2c2bbf34c183218be6004c6cee54f (patch) | |
| tree | e4de39d52421a07b673f2b0405a4bccc6d2d8fd9 /src/Haddock/Backends | |
| parent | 86a3be291b61897ac05fc2a5e378b24720d157aa (diff) | |
Put title outside doc div when HTML:fying title+prologue
Avoids indenting the title, and makes more sense since the title
is not a doc string anyway.
Diffstat (limited to 'src/Haddock/Backends')
| -rw-r--r-- | src/Haddock/Backends/Xhtml.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Haddock/Backends/Xhtml.hs b/src/Haddock/Backends/Xhtml.hs index 6ca9d376..3bc2dd6f 100644 --- a/src/Haddock/Backends/Xhtml.hs +++ b/src/Haddock/Backends/Xhtml.hs @@ -246,7 +246,7 @@ ppHtmlContents odir doctitle _maybe_package ppPrologue :: String -> Maybe (Doc GHC.RdrName) -> Html ppPrologue _ Nothing = noHtml ppPrologue title (Just doc) = - docElement divDescription << (h1 << title +++ rdrDocToHtml doc) + divDescription << (h1 << title +++ docElement thediv (rdrDocToHtml doc)) ppModuleTree :: [ModuleTree] -> Html |