commit 9920aaabba6ee59d5c527280b77c9e53d0b8ae37 parent 3756af870749fea69b80b084c830bb11be8cdd3a Author: Florian Dold <florian@dold.me> Date: Mon, 4 Mar 2024 21:38:14 +0100 get rid of htmlark Diffstat:
| M | Dockerfile | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Dockerfile b/Dockerfile @@ -66,7 +66,7 @@ RUN apt-get update && apt-get -y upgrade && apt-get --no-install-recommends inst # FIXME: Try to use debian packages where possible and otherwise really use # a venv or per-user installation of the package. -RUN pip3 install --break-system-packages requests click poetry uwsgi htmlark sphinx-book-theme sphinx-markdown-builder +RUN pip3 install --break-system-packages requests click poetry uwsgi sphinx-book-theme sphinx-markdown-builder # GNUnet FROM base-system AS gnunet