Merge branch 'dev' into 'main'

Fix for documentation pages. See merge request !70

Merge branch 'dev' into 'main'
49d4d4e6 · Hock, Martin · 649f26e7 · 3d80307f · 49d4d4e6
Commit 49d4d4e6 authored 2 years ago by Hock, Martin
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -75,7 +75,7 @@ pages:
  - pip install -U sphinx sphinx-autoapi sphinx_rtd_theme myst-parser # sphinx_panels
  - cd docs
  - make html
-  - mv build/html/ ../public
+  - mv build/html/* ../public/
  artifacts:
    paths:
    - public