Attempt to fix search.

This commit is contained in:
Sander Spies 2020-04-15 12:17:04 +02:00
parent fb7abe045f
commit 0680633806
2 changed files with 3 additions and 1 deletions

View File

@ -71,6 +71,7 @@ dont-merge-to-master:
- mv ../../_build/default/_doc/_html/ build/odoc - mv ../../_build/default/_doc/_html/ build/odoc
after_script: after_script:
- cp -r gitlab-pages/website/build public - cp -r gitlab-pages/website/build public
- cp -r gitlab-pages/website/sitemap.xml public/sitemap.xml
artifacts: artifacts:
paths: paths:
- public - public

File diff suppressed because one or more lines are too long