diff options
| author | David Robillard <d@drobilla.net> | 2021-01-06 21:50:05 +0100 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2021-01-06 21:50:05 +0100 |
| commit | f2adb0c2050512c643013481dd6f53d8a3fcb163 (patch) | |
| tree | c5d6ac71e88fba74cc17e1e4ccf2eddeee07ebfa /.gitlab-ci.yml | |
| parent | a6fa6c45a4df2e0a15ce40437fb03063c9c68891 (diff) | |
| download | serd-f2adb0c2050512c643013481dd6f53d8a3fcb163.tar.gz serd-f2adb0c2050512c643013481dd6f53d8a3fcb163.tar.bz2 serd-f2adb0c2050512c643013481dd6f53d8a3fcb163.zip | |
Switch to LV2 documentation theme
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: |