From 61355b3887de977e2816a1ead77173f9d31c937c Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 22 Jul 2015 20:41:06 -0700
Subject: Avoid extra space before section number in spec.md.

---
 tools/makespec.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

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