diff options
author | Iván Ávalos <avalos@disroot.org> | 2024-03-04 16:44:27 -0600 |
---|---|---|
committer | Iván Ávalos <avalos@disroot.org> | 2024-03-04 16:44:27 -0600 |
commit | 20ed721beb4bf654bb5750d0f4df154aec61b2ca (patch) | |
tree | 4008c1c72ce928de68f8a96984c14fa099ffcd3c | |
parent | 96fddd8b71e028067e3a8280c2887d572a9ffb8d (diff) |
replace htmlark with pandoc in CI
-rw-r--r-- | contrib/ci/Containerfile | 4 |
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"] |