diff options
author | Lukas Larsson <lukas@erlang.org> | 2020-11-02 15:41:26 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2020-11-02 15:41:26 +0100 |
commit | b0698d675d0f48ef35c26dd615f3292a3699b6e8 (patch) | |
tree | 3f1113351c0b07af79426062c096061c9e7cb1f3 /scripts | |
parent | 056ba3c7ec3b939e717a9b8f1bf0a9c49206f013 (diff) | |
download | erlang-b0698d675d0f48ef35c26dd615f3292a3699b6e8.tar.gz |
Fail gh actions docbuilt if broken links or anchors exist
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/otp_html_check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/otp_html_check b/scripts/otp_html_check index 62d5b47edd..d9c49ef30a 100755 --- a/scripts/otp_html_check +++ b/scripts/otp_html_check @@ -409,6 +409,10 @@ if (keys %anchor_refs) { } } +if (keys %missing || keys %anchor_refs) { + exit 1; +} + ########################################################################### |