summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-04 23:33:00 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-04 23:33:00 -0800
commit1619a0771dad8d40662bfbc335162696931e6b9b (patch)
tree80372cb58f48559a055f2683e7cf251e764947fb
parent2590e3b4448798db88f650a4fbc37cec3b741a4a (diff)
Strip {-} off unnumbered sections in HTML version of spec.
-rw-r--r--makespec.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/makespec.py b/makespec.py
index 762d62d..fece148 100644
--- a/makespec.py
+++ b/makespec.py
@@ -83,6 +83,8 @@ with open('spec.txt', 'r', encoding='utf-8') as spec:
level = len(match.group(1))
if re.search(r'{-}$', section):
section = re.sub(r' *{-} *$', '', section)
+ if specformat == 'html':
+ ln = re.sub(r' *{-} *$', '', ln)
number = ''
else:
if lastlevel == level: