diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-22 20:41:06 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-22 20:41:06 -0700 |
| commit | 61355b3887de977e2816a1ead77173f9d31c937c (patch) | |
| tree | 21d3a0d2a1da77decf5f4c219be817757484373e /tools | |
| parent | 648420e068cac0477759245f262a4dfbb4fc7d11 (diff) | |
Avoid extra space before section number in spec.md.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/makespec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/makespec.py b/tools/makespec.py index b2b8ab2..d9cf838 100755 --- a/tools/makespec.py +++ b/tools/makespec.py @@ -103,7 +103,7 @@ with open('spec.txt', 'r', encoding='utf-8') as spec: ident=ident, number=number)) refs.append("[{0}]: #{1}".format(section, ident)) - ln = re.sub(r'# +', '# <a id="{0}"></a> '.format(ident), + ln = re.sub(r'# +', '# <a id="{0}"></a>'.format(ident), ln, count=1) else: ln = re.sub(r'\[([^]]*)\]\(@([^)]*)\)', replaceAnchor, ln) |