summaryrefslogtreecommitdiff
path: root/man
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
parentd0571571f1f20343622214e6e919e509c43a93b9 (diff)
Set proper name and section in man page.
Diffstat (limited to 'man')
-rw-r--r--man/make_man_page.py2
-rw-r--r--man/man3/cmark.32
2 files changed, 2 insertions, 2 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))
diff --git a/man/man3/cmark.3 b/man/man3/cmark.3
index 9d24f73..e65bcc6 100644
--- a/man/man3/cmark.3
+++ b/man/man3/cmark.3
@@ -1,5 +1,5 @@
.Dd 2014-11-30
-.Dt cmark.h
+.Dt cmark 3
.Sh NAME
.Nm cmark