Move odoc to the right folder
This commit is contained in:
parent
b0408fdcd9
commit
044e2fac7f
@ -53,7 +53,7 @@ stages:
|
||||
- npm run build
|
||||
# move internal odoc documentation to the website folder
|
||||
- mkdir -p gitlab-pages/website/build/ligo/
|
||||
- mv _build/default/_doc/_html/ gitlab-pages/website/build/ligo/internal
|
||||
- mv _build/default/_doc/_html/ gitlab-pages/website/build/ligo/odoc
|
||||
- ls gitlab-pages/website/build/ligo/ # for debug
|
||||
after_script:
|
||||
- cp -r gitlab-pages/website/build/ligo public
|
||||
|
Loading…
Reference in New Issue
Block a user