diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-05 00:20:03 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-05 00:20:03 -0800 |
| commit | 456f3f30c42c492357883dfe71c7ca96a36696ea (patch) | |
| tree | e89d56457e88969f6611df6d8ce6b64df2803fc4 | |
| parent | 1f9fb63cb654b985e0d237444827078c8a621fdd (diff) | |
makespec.py: put ids on headers, not separate anchor.
| -rw-r--r-- | makespec.py | 2 |
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: |