diff options
| author | Théo Zimmermann | 2020-03-22 10:30:21 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-24 11:22:45 +0100 |
| commit | c7d56372c7a2fff283fc4841f29cb0d5893aa431 (patch) | |
| tree | 6afdd0d3ba820db6e20acd361fce22527caf4279 | |
| parent | 0cc90c16000ba0afbb3ae74ebb022cc04747ee3c (diff) | |
Fix deploy of refman following #11855.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index cf1dc47fab..ebeee0d4e4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -470,7 +470,7 @@ doc:refman:deploy: - rm -rf _deploy/$CI_COMMIT_REF_NAME/stdlib - mkdir -p _deploy/$CI_COMMIT_REF_NAME - cp -rv _build/default/_doc/_html _deploy/$CI_COMMIT_REF_NAME/api - - cp -rv _build/default/doc/sphinx_build/html _deploy/$CI_COMMIT_REF_NAME/refman + - cp -rv _build/default/doc/refman-html _deploy/$CI_COMMIT_REF_NAME/refman - cp -rv _build/default/doc/stdlib/html _deploy/$CI_COMMIT_REF_NAME/stdlib - cd _deploy/$CI_COMMIT_REF_NAME/ - git add api refman stdlib |