summaryrefslogtreecommitdiffstats
path: root/man
diff options
context:
space:
mode:
Diffstat (limited to 'man')
-rw-r--r--man/local.mk1
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 \