hakyll-agda 0.1.5 → 0.1.6
raw patch · 2 files changed
+4/−3 lines, 2 files
Files
- Hakyll/Web/Agda.hs +3/−2
- hakyll-agda.cabal +1/−1
Hakyll/Web/Agda.hs view
@@ -138,8 +138,9 @@ concat [ case c of Left s -> s Right cs ->- let h = pre . mconcat $ [ (annotate m pos mi (stringToHtml s))- | (pos, s, mi) <- cs ]+ let h = pre . tag "code" . mconcat $+ [ (annotate m pos mi (stringToHtml s))+ | (pos, s, mi) <- cs ] in renderHtmlFragment (h ! [theclass classpr]) | c <- contents ]
hakyll-agda.cabal view
@@ -1,6 +1,6 @@ Cabal-version: >= 1.6 Name: hakyll-agda-Version: 0.1.5+Version: 0.1.6 Author: Francesco Mazzoli (f@mazzo.li) Maintainer: Francesco Mazzoli (f@mazzo.li) Build-Type: Simple