Commit 0cdd3cf5 authored by Guilhem Saurel's avatar Guilhem Saurel
Browse files

Revert "[CI] update doxygen to 1.8.15 on 14.04, ref #36"

As 1.8.15 is too recent, I had to find another link for 1.8.10 instead

This reverts commit 230cbb5e.
parent 230cbb5e
Pipeline #2680 passed with stages
in 129 minutes and 45 seconds
......@@ -3,6 +3,6 @@ FROM eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/ubuntu:14.04
ENV DEVEL_DIR /workspace
RUN /auto-install-hpp.sh --branch ubuntu-14.04 --target \
"doxygen-1.8.15.install \
"doxygen-1.8.10.install \
osg-dae.install \
eigen3.install"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment