From 456f3f30c42c492357883dfe71c7ca96a36696ea Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 5 Jan 2015 00:20:03 -0800
Subject: makespec.py:  put ids on headers, not separate anchor.

---
 makespec.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'makespec.py')

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:
-- 
cgit v1.2.3