summaryrefslogtreecommitdiff
path: root/man/make_man_page.py
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-12-13 21:15:56 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-12-13 21:15:56 -0800
commit04d69ec29fbbefbfbafbfc1050a48cf97a513f19 (patch)
tree16a45f46e5feeaa4c3090b5cfceb27dcb16a2e2b /man/make_man_page.py
parent0a8a648ff5a6ecb11a4afa469543265da950d3de (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.py10
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':