diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-13 21:15:56 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-13 21:15:56 -0800 |
| commit | 04d69ec29fbbefbfbafbfc1050a48cf97a513f19 (patch) | |
| tree | 16a45f46e5feeaa4c3090b5cfceb27dcb16a2e2b /man/make_man_page.py | |
| parent | 0a8a648ff5a6ecb11a4afa469543265da950d3de (diff) | |
Makefile fixes for man page.
Don't build man pages until we've built libcmark, which we need.
Also reverted use of typewriter font for signatures; this looks
worse in the terminal pager.
Diffstat (limited to 'man/make_man_page.py')
| -rw-r--r-- | man/make_man_page.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/man/make_man_page.py b/man/make_man_page.py index 94c4d6a..dd226e6 100644 --- a/man/make_man_page.py +++ b/man/make_man_page.py @@ -47,7 +47,7 @@ single_quote_re = re.compile("(?<!\w)'([^']+)'(?!\w)") double_quote_re = re.compile("(?<!\w)''([^']+)''(?!\w)") def handle_quotes(s): - return re.sub(double_quote_re, '\\\\f[CB]\g<1>\\\\f[]', re.sub(single_quote_re, '\\\\f[CI]\g<1>\\\\f[]', s)) + return re.sub(double_quote_re, '\\\\fB\g<1>\\\\f[]', re.sub(single_quote_re, '\\\\fI\g<1>\\\\f[]', s)) typedef = False mdlines = [] @@ -92,17 +92,17 @@ with open(sourcefile, 'r') as cmarkh: rawsig = ''.join(sig) m = function_re.match(rawsig) if m: - mdlines.append('\\f[CI]' + m.group('type') + '\\f[]' + ' ') - mdlines.append('\\f[CB]' + m.group('name') + '\\f[]' + '(') + mdlines.append('\\fI' + m.group('type') + '\\f[]' + ' ') + mdlines.append('\\fB' + m.group('name') + '\\f[]' + '(') first = True for argument in re.split(',', m.group('args')): if not first: mdlines.append(', ') first = False - mdlines.append('\\f[CI]' + argument.strip() + '\\f[]') + mdlines.append('\\fI' + argument.strip() + '\\f[]') mdlines.append(')\n') else: - mdlines.append('.nf\n\\f[C]\n.RS 0n\n') + mdlines.append('.nf\n\\fC\n.RS 0n\n') mdlines += sig mdlines.append('.RE\n\\f[]\n.fi\n') if len(mdlines) > 0 and mdlines[-1] != '\n': |