aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIván Ávalos <avalos@disroot.org>2024-03-04 16:44:27 -0600
committerIván Ávalos <avalos@disroot.org>2024-03-04 16:44:27 -0600
commit20ed721beb4bf654bb5750d0f4df154aec61b2ca (patch)
tree4008c1c72ce928de68f8a96984c14fa099ffcd3c
parent96fddd8b71e028067e3a8280c2887d572a9ffb8d (diff)
replace htmlark with pandoc in CI
-rw-r--r--contrib/ci/Containerfile4
1 files changed, 1 insertions, 3 deletions
diff --git a/contrib/ci/Containerfile b/contrib/ci/Containerfile
index 77239820e..a6bf1ab7a 100644
--- a/contrib/ci/Containerfile
+++ b/contrib/ci/Containerfile
@@ -35,6 +35,7 @@ RUN apt-get update -yqq && \
# Documentation dependencies \
doxygen \
graphviz \
+ pandoc \
# Test suite dependencies \
jq \
postgresql \
@@ -58,9 +59,6 @@ RUN cat /etc/apt/preferences.d/taler && \
gnunet \
&& rm -rf /var/lib/apt/lists/*
-
-RUN pip3 install --break-system-packages htmlark
-
WORKDIR /workdir
CMD ["bash", "/workdir/ci/ci.sh"]