summaryrefslogtreecommitdiff
path: root/makespec.py
diff options
context:
space:
mode:
Diffstat (limited to 'makespec.py')
-rw-r--r--makespec.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/makespec.py b/makespec.py
index fece148..9b5d523 100644
--- a/makespec.py
+++ b/makespec.py
@@ -130,6 +130,8 @@ elif specformat == "html":
[retcode, result, err] = pipe_through_prog(prog, toc + mdtext)
if retcode == 0:
result = re.sub(r'␣', '<span class="space"> </span>', result)
+ result = re.sub(r'<h([1-6])><a id="([^\"]*)"><\/a> ',
+ "<h\\1 id=\"\\2\">", result)
sys.stdout.write(template.substitute(metadata, body=result))
# check for errors: