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.
---
 makespec.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'makespec.py')

diff --git a/makespec.py b/makespec.py
index 4d157a5..8e73cf4 100644
--- a/makespec.py
+++ b/makespec.py
@@ -20,7 +20,10 @@ def pipe_through_prog(prog, text):
 
 def replaceAnchor(match):
     refs.append("[{0}]: #{1}".format(match.group(1), match.group(2)))
-    return '<a id="{1}" href="#{1}" class="definition">{0}</a>'.format(match.group(1), match.group(2))
+    if specformat == "html":
+        return '<a id="{1}" href="#{1}" class="definition">{0}</a>'.format(match.group(1), match.group(2))
+    else:
+        return match.group(0)
 
 stage = 0
 example = 0
-- 
cgit v1.2.3