diff options
| author | Lukas Larsson <lukas@erlang.org> | 2020-11-18 14:06:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-18 14:06:03 +0100 |
| commit | 81508c3aa2016cbaec542b4b8047cb5407836557 (patch) | |
| tree | be8962d323e959ce2dbe5119cb323c4cb37f5b88 /.github | |
| parent | b4327ae179025e9cce6c007cd9ab63fc6f3dc759 (diff) | |
| parent | 6144b3d3d0f25c1b253b22e0daeee63f7fffe1a2 (diff) | |
| download | erlang-81508c3aa2016cbaec542b4b8047cb5407836557.tar.gz | |
Merge pull request #2844 from garazdawi/lukas/erl_docgen/fix_title_links/OTP-17013
erl_docgen: Fix github links and title links to work again
Diffstat (limited to '.github')
| -rw-r--r-- | .github/dockerfiles/Dockerfile.documentation | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/dockerfiles/Dockerfile.documentation b/.github/dockerfiles/Dockerfile.documentation index 65d3910430..b0c2eb8015 100644 --- a/.github/dockerfiles/Dockerfile.documentation +++ b/.github/dockerfiles/Dockerfile.documentation @@ -12,8 +12,7 @@ RUN cd /buildroot && tar -xzf ./otp.tar.gz WORKDIR /buildroot/otp/ -## We don't build pdf in order to save some time -ENV RELEASE_ROOT=/otp DOC_TARGETS="html man chunks" +ENV RELEASE_ROOT=/otp RUN ./configure --prefix=/otp && make && make release |