From 398444369a91510a0766d2835c089291dc05d187 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 30 Nov 2014 12:23:33 -0800 Subject: Set proper name and section in man page. --- man/make_man_page.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'man/make_man_page.py') diff --git a/man/make_man_page.py b/man/make_man_page.py index 3183397..61b355d 100644 --- a/man/make_man_page.py +++ b/man/make_man_page.py @@ -88,5 +88,5 @@ with open(sourcefile, 'r') as cmarkh: mdlines.append('\n') sys.stdout.write('.Dd ' + date.today().isoformat() + '\n') -sys.stdout.write('.Dt ' + os.path.basename(sourcefile) + '\n') +sys.stdout.write('.Dt ' + os.path.basename(sourcefile).replace('.h','') + ' 3\n') sys.stdout.write(''.join(mdlines)) -- cgit v1.2.3