diff options
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') |