diff options
| author | watashi <zejun.wu@gmail.com> | 2015-04-26 16:35:28 -0700 |
|---|---|---|
| committer | watashi <zejun.wu@gmail.com> | 2015-04-26 16:35:35 -0700 |
| commit | 5d04e313cc52ecf88b0fd0b3d0d39ce6a8dc7406 (patch) | |
| tree | 9b03274f736ce33540b7f21b7051691070e8009c /haddock-api/src/Haddock | |
| parent | d567a12b2d24bab610cd7e8f8014d40c7615e24d (diff) | |
Do not insert anchor for section headings in contents box
Diffstat (limited to 'haddock-api/src/Haddock')
| -rw-r--r-- | haddock-api/src/Haddock/Backends/Xhtml/DocMarkup.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Backends/Xhtml/DocMarkup.hs b/haddock-api/src/Haddock/Backends/Xhtml/DocMarkup.hs index e807eb94..c23f3f08 100644 --- a/haddock-api/src/Haddock/Backends/Xhtml/DocMarkup.hs +++ b/haddock-api/src/Haddock/Backends/Xhtml/DocMarkup.hs @@ -62,7 +62,10 @@ parHtmlMarkup qual insertAnchors ppId = Markup { then anchor ! [href url] << fromMaybe url mLabel else toHtml $ fromMaybe url mLabel, - markupAName = \aname -> namedAnchor aname << "", + markupAName = \aname + -> if insertAnchors + then namedAnchor aname << "" + else noHtml, markupPic = \(Picture uri t) -> image ! ([src uri] ++ fromMaybe [] (return . title <$> t)), markupProperty = pre . toHtml, markupExample = examplesToHtml, |