diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/local.mk b/man/local.mk index 958967e..28ee816 100644 --- a/man/local.mk +++ b/man/local.mk @@ -51,6 +51,7 @@ man3_MANS = \ %reldir%/ob_arch_is_concerned.3 \ %reldir%/ob_plat_is_concerned.3 \ %reldir%/ob_get_system_path.3 \ + %reldir%/ob_validate_section.3 \ %reldir%/ob_qualify_package_name.3 \ %reldir%/ob_parse_control.3 \ %reldir%/ob_set_binary_substvar.3 \ |