diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/make_man_page.py | 2 | ||||
| -rw-r--r-- | man/man3/cmark.3 | 2 |
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 |