diff options
author | Richard Levitte <levitte@openssl.org> | 2019-12-22 23:52:30 +0100 |
---|---|---|
committer | Richard Levitte <levitte@openssl.org> | 2019-12-26 00:45:12 +0100 |
commit | 17fa385d2cd4443707aa42ab752a00aacf87d750 (patch) | |
tree | 536f160f0d28fb828479a6b074234cbbfdafdac3 /util | |
parent | 3e73f558af600ea068bb2132988c31ddb444e13e (diff) |
util/find-doc-nits: when loading "missing" files, check if documented
It may be that some "missing" manuals have been written since their
insertion in the "missing" files. Make sure to alert when such manual
references are found.
This works, because we collect all existing manual references into
%name_map first.
Fixes #10681
Reviewed-by: Matt Caswell <matt@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/10683)
Diffstat (limited to 'util')
-rwxr-xr-x | util/find-doc-nits | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/util/find-doc-nits b/util/find-doc-nits index 93cdf03bb7..4b6d7c5e61 100755 --- a/util/find-doc-nits +++ b/util/find-doc-nits @@ -600,6 +600,11 @@ sub loadmissing($) } close FH; + for (@missing) { + err("$missingfile:", "$_ is documented in $name_map{$_}") + if exists $name_map{$_} && defined $name_map{$_}; + } + return @missing; } |