diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/docbuild/Dockerfile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/docbuild/Dockerfile b/docs/docbuild/Dockerfile index f412cd26..74a3d720 100644 --- a/docs/docbuild/Dockerfile +++ b/docs/docbuild/Dockerfile @@ -17,3 +17,16 @@ RUN sed -i -e 's/# en_GB.UTF-8 UTF-8/en_GB.UTF-8 UTF-8/' /etc/locale.gen && \ update-locale LANG=en_GB.UTF-8 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 && \ + mkdir build && \ + cd build && \ + cmake .. -DCMAKE_INSTALL_PREFIX=/usr && \ + make -j$(nproc) && \ + make install && \ + cd ../.. && \ + rm -rf doxygen-1.9.1 |