summaryrefslogtreecommitdiff
path: root/man/make_man_page.py
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-30 12:23:33 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-30 12:23:33 -0800
commit398444369a91510a0766d2835c089291dc05d187 (patch)
tree2690849537e7b5de547b6dd32877073ea72db598 /man/make_man_page.py
parentd0571571f1f20343622214e6e919e509c43a93b9 (diff)
Set proper name and section in man page.
Diffstat (limited to 'man/make_man_page.py')
-rw-r--r--man/make_man_page.py2
1 files changed, 1 insertions, 1 deletions
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))