diff options
Diffstat (limited to 'makespec.py')
| -rw-r--r-- | makespec.py | 5 |
1 files changed, 4 insertions, 1 deletions
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 |