diff options
Diffstat (limited to 'share/man/man9/Makefile')
| -rw-r--r-- | share/man/man9/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/man/man9/Makefile b/share/man/man9/Makefile index a04cb68..05bab57 100644 --- a/share/man/man9/Makefile +++ b/share/man/man9/Makefile @@ -1075,7 +1075,7 @@ MLINKS+=scheduler.9 curpriority_cmp.9 \ scheduler.9 setrunnable.9 \ scheduler.9 updatepri.9 MLINKS+=securelevel_gt.9 securelevel_ge.9 -MLINKS+=selrecord.9 selwakeup.9 +MLINKS+=seldrain.9 selrecord.9 selwakeup.9 MLINKS+=sema.9 sema_destroy.9 \ sema.9 sema_init.9 \ sema.9 sema_post.9 \ |
