Merge pull request #77 from esl/fix-debian-otp27

fix debian dockerfile
esl · Jul 31, 2024 · 4c1a6ed · 4c1a6ed
2 parents 7121a2b + bcda923
commit 4c1a6ed
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/builders/erlang_debian.Dockerfile b/builders/erlang_debian.Dockerfile
@@ -38,6 +38,11 @@ RUN --mount=type=cache,id=${os}_${os_version},target=/var/cache/apt,sharing=priv
   libwxgtk3.0-gtk3-dev:$(darch $TARGETPLATFORM)/stretch-backports \
   wx3.0-headers/stretch-backports; \
   fi
+# Install documentation tools
+RUN --mount=type=cache,id=${os}_${os_version},target=/var/cache/apt,sharing=private \
+    --mount=type=cache,id=${os}_${os_version},target=/var/lib/apt,sharing=private \
+    apt-get --quiet update && apt-get --quiet --yes --no-install-recommends install \
+    xsltproc docbook-xsl docbook-xml man-db
 RUN --mount=type=cache,id=${os}_${os_version},target=/var/cache/apt,sharing=private \
     --mount=type=cache,id=${os}_${os_version},target=/var/lib/apt,sharing=private \
     apt-get --quiet update && apt-get --quiet --yes --no-install-recommends install \