diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:33:00 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:33:00 -0800 |
| commit | 1619a0771dad8d40662bfbc335162696931e6b9b (patch) | |
| tree | 80372cb58f48559a055f2683e7cf251e764947fb | |
| parent | 2590e3b4448798db88f650a4fbc37cec3b741a4a (diff) | |
Strip {-} off unnumbered sections in HTML version of spec.
| -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: |