diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-01-11 10:22:43 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-01-11 10:22:43 -0800 |
commit | b1dd05c53e677348f3e9722da2429e96a5861e2b (patch) | |
tree | 7a0909206a8172ae4cf0b87cf8cf502918e974de | |
parent | 93843bd2fe8c91fe9e659c5b801f1a7d672dc223 (diff) |
Fixed make_man_page.py so it includes typedefs again.
-rw-r--r-- | man/make_man_page.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/make_man_page.py b/man/make_man_page.py index c7060e7..4b49dbd 100644 --- a/man/make_man_page.py +++ b/man/make_man_page.py @@ -83,9 +83,11 @@ with open(sourcefile, 'r') as cmarkh: state = 'default' elif typedef and typedef_end_re.match(line): typedef = False + elif typedef_start_re.match(line): + typedef = True + state = 'signature' elif state == 'man': state = 'signature' - typedef = typedef_start_re.match(line) # handle line if state == 'man': |