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