diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3f50493d..2e34f9d3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -220,6 +220,7 @@ pages: - mkdir -p .public/man - mkdir -p .public/c - mv build/doc/c/singlehtml .public/c/singlehtml + - mv build/doc/c/html .public/c/html - mv build/doc/serdi.html .public/man/serdi.html - mv .public public artifacts: |