diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-12-25 11:03:11 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-25 11:03:11 +0100 |
| commit | 0104ef892820383845b3dce44c46899fec2f04f0 (patch) | |
| tree | 81eba131303296aeb5ef5c880504cab0932dcab2 /haddock-api/src/Haddock/Backends/Hoogle.hs | |
| parent | 2d4680f12f8c9cd647049eb1e3e56531bd44e880 (diff) | |
| parent | 3f50b955324bd4b42f88a421f0203bc46a3ccf64 (diff) | |
Merge remote-tracking branch 'idontgetoutmuch/ghc-head' into ghc-head
Diffstat (limited to 'haddock-api/src/Haddock/Backends/Hoogle.hs')
| -rw-r--r-- | haddock-api/src/Haddock/Backends/Hoogle.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/haddock-api/src/Haddock/Backends/Hoogle.hs b/haddock-api/src/Haddock/Backends/Hoogle.hs index f3749a85..9a15c7b3 100644 --- a/haddock-api/src/Haddock/Backends/Hoogle.hs +++ b/haddock-api/src/Haddock/Backends/Hoogle.hs @@ -311,6 +311,8 @@ markupTag dflags = Markup { markupBold = box (TagInline "b"), markupMonospaced = box (TagInline "tt"), markupPic = const $ str " ", + markupMathInline = const $ str "<math>", + markupMathDisplay = const $ str "<math>", markupUnorderedList = box (TagL 'u'), markupOrderedList = box (TagL 'o'), markupDefList = box (TagL 'u') . map (\(a,b) -> TagInline "i" a : Str " " : b), |