From 5eb3c5c34cd8f3fd438cc938977b91f88810d5c2 Mon Sep 17 00:00:00 2001
From: florian <f.spreckelsen@inidscale.com>
Date: Fri, 2 Jun 2023 14:29:02 +0200
Subject: [PATCH] MAINT: Use sphinx from pip instead of apt
---
src/test/docker/Dockerfile | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/test/docker/Dockerfile b/src/test/docker/Dockerfile
index 74653694..0f7e3453 100644
--- a/src/test/docker/Dockerfile
+++ b/src/test/docker/Dockerfile
@@ -7,12 +7,11 @@ RUN apt-get update && \
libfreetype6-dev liblcms2-dev libwebp-dev tcl8.6-dev tk8.6-dev python3-tk \
libharfbuzz-dev libfribidi-dev libxcb1-dev \
python3-pip screen libpam0g-dev unzip curl shunit2 \
- python3-sphinx
RUN apt-get install -y \
libcairo2-dev
-RUN pip3 install javasphinx recommonmark sphinx-rtd-theme sphinxcontrib-plantuml sphinx-a4doc
+RUN pip3 install sphinx javasphinx recommonmark sphinx-rtd-theme sphinxcontrib-plantuml sphinx-a4doc
# Alternative, if javasphinx fails because python3-sphinx is too recent:
# (`_l` not found):
--
GitLab