aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-07-22 20:41:06 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-07-22 20:41:06 -0700
commit61355b3887de977e2816a1ead77173f9d31c937c (patch)
tree21d3a0d2a1da77decf5f4c219be817757484373e
parent648420e068cac0477759245f262a4dfbb4fc7d11 (diff)
Avoid extra space before section number in spec.md.
-rwxr-xr-xtools/makespec.py2
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)