diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-12-29 13:29:19 (EST) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-12-29 13:29:19 (EST) |
| commit | d814da6fb0a3cc4091cffc54aad70dfc04628cac (patch) | |
| tree | 5e97deadbf9ec1847b380c9a429a7a65f324abac /man | |
| parent | 5853f246ad786bea22706abb9a2b9d06357ebe26 (diff) | |
ob_get_system_path(): Document
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 535fad8..e213d34 100644 --- a/man/local.mk +++ b/man/local.mk @@ -33,6 +33,7 @@ man3_MANS = \ %reldir%/ob_error.3 \ %reldir%/ob_get_msg.3 \ %reldir%/ob_get_system_arch.3 \ + %reldir%/ob_get_system_path.3 \ %reldir%/ob_get_system_plat.3 \ %reldir%/ob_get_text_domain.3 \ %reldir%/ob_info.3 \ |