diff options
author | louiz’ <louiz@louiz.org> | 2020-05-21 23:16:23 +0200 |
---|---|---|
committer | louiz’ <louiz@louiz.org> | 2020-05-21 23:16:55 +0200 |
commit | bc1fa4bc3169f86abbba952d4f3e2379d7aec757 (patch) | |
tree | 554136d6a916f27d43b87279a21a10b21c38c0b8 /docker | |
parent | 6ed9545abb415270d7120237e65141733815264b (diff) | |
download | biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.tar.gz biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.tar.bz2 biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.tar.xz biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.zip |
ci: Install the correct rtd_theme package, not the documentation…
Diffstat (limited to 'docker')
-rw-r--r-- | docker/test/fedora/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/test/fedora/Dockerfile b/docker/test/fedora/Dockerfile index 1877f8d..2b88451 100644 --- a/docker/test/fedora/Dockerfile +++ b/docker/test/fedora/Dockerfile @@ -28,7 +28,7 @@ python3-pip \ python3-lxml \ python3-devel \ python3-sphinx \ -python-sphinx_rtd_theme-doc \ +python-sphinx_rtd_theme \ wget \ fedora-packager \ rpmdevtools \ |