diff options
Diffstat (limited to 'docs/docbuild/Dockerfile')
| -rw-r--r-- | docs/docbuild/Dockerfile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/docbuild/Dockerfile b/docs/docbuild/Dockerfile index 74a3d720..f8ba091b 100644 --- a/docs/docbuild/Dockerfile +++ b/docs/docbuild/Dockerfile @@ -19,14 +19,14 @@ RUN sed -i -e 's/# en_GB.UTF-8 UTF-8/en_GB.UTF-8 UTF-8/' /etc/locale.gen && \ ENV LANG en_GB.UTF-8 RUN DEBIAN_FRONTEND=noninteractive apt-get install -y curl flex bison && \ - curl -LOs https://doxygen.nl/files/doxygen-1.9.1.src.tar.gz && \ - tar xvzf doxygen-1.9.1.src.tar.gz && \ - rm -rf doxygen-1.9.1.src.tar.gz && \ - cd doxygen-1.9.1 && \ + curl -LOs https://doxygen.nl/files/doxygen-1.9.3.src.tar.gz && \ + tar xvzf doxygen-1.9.3.src.tar.gz && \ + rm -rf doxygen-1.9.3.src.tar.gz && \ + cd doxygen-1.9.3 && \ mkdir build && \ cd build && \ cmake .. -DCMAKE_INSTALL_PREFIX=/usr && \ make -j$(nproc) && \ make install && \ cd ../.. && \ - rm -rf doxygen-1.9.1 + rm -rf doxygen-1.9.3 |