diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-13 10:28:35 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-13 10:28:35 +0100 |
commit | 96332a1f80c4e68be758a091c0c6591d91ae27af (patch) | |
tree | 7b3d2d5fe62e778d382ee86231ac7e4a9255932b /Dockerfile_for_circleci_image | |
parent | d1d25b4ae8d0f778f0e2b3f98449d7d13e466013 (diff) | |
parent | e15431ead82923a939f9bcc66347c1b718618a98 (diff) |
Merge branch 'master' into iterator_over_simplex_tree
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index cca93f0c..1eededb5 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -30,7 +30,7 @@ RUN apt-get install -y make \ cmake \ graphviz \ perl \ - texlive-bibtex-extra \ + texlive-full \ biber \ doxygen \ libboost-all-dev \ |