diff --git a/.github/dockerfiles/Dockerfile.64-bit b/.github/dockerfiles/Dockerfile.64-bit index 8dac35d65d88..ce8ac4739112 100644 --- a/.github/dockerfiles/Dockerfile.64-bit +++ b/.github/dockerfiles/Dockerfile.64-bit @@ -22,7 +22,7 @@ RUN if [ ! -f Makefile ]; then \ find . -type f -newer README.md | xargs tar --transform 's:^./:otp/:' -cf ../otp_cache.tar; \ fi && \ sudo apt-get update && sudo apt-get install -y tree && \ - V=1 make --debug=basic all_bootstraps && tree && bootstrap/bin/erl -noinput -s init stop \ + V=1 make --debug=basic all_bootstraps && tree && bootstrap/bin/erl -noinput -s init stop && \ V=1 make --debug=basic && make docs DOC_TARGETS=chunks && \ sudo make install install-docs DOC_TARGETS=chunks