util/find-doc-nits.pl
100644 → 100755
+77
−28
util/find-undoc-api.pl
0 → 100755
+82
−0
Loading
WARNING! GitLab maintenance operation scheduled for this Friday between 14:00 and 19:00 (CET). During this time window, GitLab will be unavailable, and any data entered during this period may be lost. Thank you in advance for your understanding.
Also tweaks to find-doc-nits, including name/synopsis checking.
Ironically, it also reports on duplicated doc names :)
Reviewed-by:
Richard Levitte <levitte@openssl.org>