Also mention -- flag and ignore if undocumented

Reviewed-by: Paul Dale <paul.dale@oracle.com>
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/10077)

1 files changed, 1 insertions, 0 deletions

diff --git a/util/find-doc-nits b/util/find-doc-nits
index c1e33fcfe4..ea5254b729 100755
--- a/util/find-doc-nits
+++ b/util/find-doc-nits
@@ -809,6 +809,7 @@ sub checkflags {
     }
     if ( scalar @undocced > 0 ) {
         foreach ( @undocced ) {
+            next if /-/; # Skip the -- end-of-flags marker
             err("$doc: undocumented option -$_");
         }
     }