diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build-otp | 1 | ||||
-rwxr-xr-x | scripts/otp_html_check | 3 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build-otp b/scripts/build-otp index 582c209e4d..f3f7f8ee86 100755 --- a/scripts/build-otp +++ b/scripts/build-otp @@ -58,6 +58,7 @@ if [ "$1" = "docs" ]; then DOC_TARGET=${TRAVIS_TAG:-$DOC_TARGET} TESTROOT=$PWD/$DOC_TARGET do_and_log "Building documentation" make release_docs do_and_log "Linting documentation" make xmllint + do_and_log "Checking html links" scripts/otp_html_check $PWD/$DOC_TARGET doc/index.html do_and_log "Test chunks" erlc lib/stdlib/test/shell_docs_SUITE.erl && ct_run -no_auto_compile -suite shell_docs_SUITE -case render # The code below prepares this build to be used as a deploy to diff --git a/scripts/otp_html_check b/scripts/otp_html_check index abe6245ad3..dc0426fc41 100755 --- a/scripts/otp_html_check +++ b/scripts/otp_html_check @@ -268,10 +268,9 @@ sub normalize_link { if ($part =~ m&^[a-z]+/&) { $dir = "$base$rpath/${up}/$part"; } else { - my $path = "$base$rpath/${up}lib/$part"; + my $path = "$base$rpath/${up}lib/$part/doc/html"; ($dir) = <$path-*>; return $link unless defined $dir; - $dir .= "/doc/html"; } $dir =~ s&^$base&&o; $link = "$dir/$mod"; |