diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-30 13:55:47 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-30 13:55:47 -0800 |
| commit | 48d19922aa25838e96291759ed8a539f809a80b8 (patch) | |
| tree | 6b3a38e3c97048347f0ead5b560ce0324888b3c0 /man/make_man_page.py | |
| parent | d5214cca36023d0a0234e2de0f7eed0b5e2e03b5 (diff) | |
Fixed bug in splitting arguments in make_man_page.py.
Diffstat (limited to 'man/make_man_page.py')
| -rw-r--r-- | man/make_man_page.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/make_man_page.py b/man/make_man_page.py index 4dadd51..38a95c8 100644 --- a/man/make_man_page.py +++ b/man/make_man_page.py @@ -68,8 +68,8 @@ with open(sourcefile, 'r') as cmarkh: if m: mdlines.append('.Ft ' + m.group('type') + '\n') mdlines.append('.Fo ' + m.group('name') + '\n') - for argument in re.split('/s*,/s*', m.group('args')): - mdlines.append('.Fa ' + argument + '\n') + for argument in re.split(',', m.group('args')): + mdlines.append('.Fa ' + argument.strip() + '\n') mdlines.append('.Fc\n') else: mdlines.append('.Bd -literal\n') |