diff options
author | David Robillard <d@drobilla.net> | 2019-07-25 21:01:54 +0200 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2019-07-25 21:36:32 +0200 |
commit | d65ddef6b95c43250631b0623c3c7654eec0acd7 (patch) | |
tree | 45d101261ca3bb309463a9fc51943ffe7e0471f8 | |
parent | ddb62e13fe486dde3ea24046d5032aa94c7ef0fd (diff) | |
download | serd-d65ddef6b95c43250631b0623c3c7654eec0acd7.tar.gz serd-d65ddef6b95c43250631b0623c3c7654eec0acd7.tar.bz2 serd-d65ddef6b95c43250631b0623c3c7654eec0acd7.zip |
Build documentation on CI
-rw-r--r-- | .gitlab-ci.yml | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d5085003..a9684fbc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -87,14 +87,20 @@ test:arm64_rel: x64_dbg: <<: *build_definition image: lv2plugin/debian-x64 - script: python ./waf configure build -dsT + script: python ./waf configure build -dsT --docs test:x64_dbg: <<: *test_definition image: lv2plugin/debian-x64 - script: python ./waf test + script: + - python ./waf test + - groff -Thtml -P -l -P -r -man -wall doc/serdi.1 > build/doc/serdi.html dependencies: - x64_dbg + artifacts: + paths: + - build/coverage + - build/doc x64_rel: @@ -186,11 +192,17 @@ test:win_rel: pages: stage: deploy - script: mv build/coverage/ public/ + script: + - mkdir -p .public/doc + - mkdir -p .public/man + - mv build/doc/html/ .public/doc/html + - mv build/coverage/ .public/coverage + - mv build/doc/index.html .public/index.html + - mv build/doc/serdi.html .public/man/serdi.html + - mv .public public dependencies: - test:x64_dbg artifacts: - expire_in: 30 days paths: - public only: |