diff options
| -rw-r--r-- | makespec.py | 2 |
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: |