diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-30 14:12:44 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-30 14:12:44 -0800 |
| commit | 110aeac08ea7a7d11121e784cf5fbaac9f57d1ea (patch) | |
| tree | 6c3b45248844e8d4580d9c36d25a9c00f220aa0d /man/make_man_page.py | |
| parent | 48d19922aa25838e96291759ed8a539f809a80b8 (diff) | |
Make the man pages standard groff man rather than mdoc.
Diffstat (limited to 'man/make_man_page.py')
| -rw-r--r-- | man/make_man_page.py | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/man/make_man_page.py b/man/make_man_page.py index 38a95c8..a079521 100644 --- a/man/make_man_page.py +++ b/man/make_man_page.py @@ -66,15 +66,19 @@ with open(sourcefile, 'r') as cmarkh: rawsig = ''.join(sig) m = function_re.match(rawsig) if m: - mdlines.append('.Ft ' + m.group('type') + '\n') - mdlines.append('.Fo ' + m.group('name') + '\n') + mdlines.append('\\fI' + m.group('type') + '\\fR' + ' ') + mdlines.append('\\fB' + m.group('name') + '\\fR' + '(') + first = True for argument in re.split(',', m.group('args')): - mdlines.append('.Fa ' + argument.strip() + '\n') - mdlines.append('.Fc\n') + if not first: + mdlines.append(', ') + first = False + mdlines.append('\\fI' + argument.strip() + '\\fR') + mdlines.append(')\n') else: - mdlines.append('.Bd -literal\n') + mdlines.append('.nf\n.RS 0n\n') mdlines += sig - mdlines.append('.Ed\n') + mdlines.append('.RE\n.fi\n') if len(mdlines) > 0 and mdlines[-1] != '\n': mdlines.append('\n') mdlines += chunk @@ -87,6 +91,5 @@ with open(sourcefile, 'r') as cmarkh: chunk = [] mdlines.append('\n') -sys.stdout.write('.Dd ' + date.today().strftime('%B %d, %Y') + '\n') -sys.stdout.write('.Dt ' + os.path.basename(sourcefile).replace('.h','') + ' 3\n') +sys.stdout.write('.TH ' + os.path.basename(sourcefile).replace('.h','') + ' 3 "' + date.today().strftime('%B %d, %Y') + '" "LOCAL" "Library Functions Manual"\n') sys.stdout.write(''.join(mdlines)) |