diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 418c68c6648eadc0dd41a0391b13dcd2c8cfcd6a..5c49eb7e9c88346b8423a611dc14aca2e85cf346 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -10,6 +10,5 @@ RUN apt-get update \ python3-pip \ python3-sqlparse \ python3-sphinx \ - python3-recommonmark \ doxygen -RUN pip3 install breathe sphinx-rtd-theme +RUN pip3 install breathe sphinx-rtd-theme recommonmark diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ef8943948b7fbd96f228345c052a8241fbb25f07..510a4247f049dd4aacce81f98f73721422ebfb0a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -64,7 +64,7 @@ build-testenv: image: docker:19.03 only: - web - - triggers + - shedules stage: setup script: - cd .docker @@ -87,6 +87,7 @@ pages: - dev script: - echo "Deploying" + - cat doc/index.rst - make doc - cp -r build/doc/html public artifacts: