diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2019-11-26 23:28:40 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2019-11-28 13:24:09 +0100 |
commit | 8ebfb8c5de9c55a20e3dafebc8f506ccb698bb68 (patch) | |
tree | e351a559aec13f0482d48871218f841941f5d41f /Dockerfile_for_circleci_image | |
parent | 03efe417c85f5fb913cc0bc8dd2bd7173e8dd3f6 (diff) |
Add sphinx paramlinks to CI
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index 0dd408fc..f0c73d76 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -54,6 +54,7 @@ RUN pip3 install \ POT \ scikit-learn \ sphinx \ + sphinx-paramlinks \ sphinxcontrib-bibtex # apt clean up |