Merge branch 'sitemap-deployment' into 'dev'

Deploy sitemap.xml to actual website

See merge request ligolang/ligo!554
This commit is contained in:
Sander 2020-04-06 15:13:58 +00:00
commit f1274497bd

View File

@ -16,6 +16,7 @@ services:
# - ./website/versioned_sidebars:/app/website/versioned_sidebars
# - ./website/versioned_docs:/app/website/versioned_docs
- ./website/sidebars.json:/app/website/sidebars.json
- ./website/sitemap.xml:/app/website/sitemap.xml
- ./website/docusaurus.config.js:/app/website/docusaurus.config.js
# - ./website/versions.json:/app/website/versions.json
# - ./website/core/AlgoliaSearch.js:/app/website/core/AlgoliaSearch.js