commit 20ed721beb4bf654bb5750d0f4df154aec61b2ca
parent 96fddd8b71e028067e3a8280c2887d572a9ffb8d
Author: Iván Ávalos <avalos@disroot.org>
Date: Mon, 4 Mar 2024 16:44:27 -0600
replace htmlark with pandoc in CI
Diffstat:
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git 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"]