From 6d239e74bc5d61cfdaaab195adde2558afa32301 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 4 Jan 2015 13:25:49 -0800
Subject: Improved spec.pdf production.

Boldface definitions.
---
 specfilter.hs | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'specfilter.hs')

diff --git a/specfilter.hs b/specfilter.hs
index 67c8fa5..7a7676b 100755
--- a/specfilter.hs
+++ b/specfilter.hs
@@ -1,11 +1,11 @@
 #!/usr/bin/env runhaskell
 
 import Text.Pandoc.JSON
-import Text.Pandoc.Walk
+import Text.Pandoc.Generic
 
 main = toJSONFilter go
   where go :: Pandoc -> Pandoc
-        go = walk exampleDivs . walk anchors
+        go = bottomUp exampleDivs . bottomUp (concatMap anchors)
 
 exampleDivs :: Block -> Block
 exampleDivs (Div (ident, ["example"], kvs)
@@ -30,8 +30,7 @@ exampleDivs (Div (ident, ["example"], kvs)
              else code
 exampleDivs x = x
 
-anchors :: Inline -> Inline
-anchors (RawInline (Format "html") ('<':'a':' ':'i':'d':'=':'"':xs)) =
-  RawInline (Format "latex") ("\\hyperdef{}{" ++ lab ++ "}{\\label{" ++ lab ++ "}}")
-  where lab = takeWhile (/='"') xs
-anchors x = x
+anchors :: Inline -> [Inline]
+anchors (Link text ('@':lab,_)) =
+  [RawInline (Format "latex") ("\\hyperdef{}{" ++ lab ++ "}{\\label{" ++ lab ++ "}}"), Strong text]
+anchors x = [x]
-- 
cgit v1.2.3