From 1619a0771dad8d40662bfbc335162696931e6b9b Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 4 Jan 2015 23:33:00 -0800 Subject: Strip {-} off unnumbered sections in HTML version of spec. --- makespec.py | 2 ++ 1 file changed, 2 insertions(+) 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: -- cgit v1.2.3