1
0
mirror of https://github.com/luanti-org/luanti.git synced 2025-11-24 18:15:26 +01:00

Update API site build (#9622)

This commit is contained in:
Paul Ouellette
2020-04-11 14:38:39 -04:00
committed by GitHub
parent 40df3931d8
commit 840b17ce63
2 changed files with 2 additions and 13 deletions

View File

@@ -300,9 +300,8 @@ package:docker:
pages:
stage: deploy
image: python:3.7
image: python:3.8
before_script:
- pip install pip==18.1
- pip install git+https://github.com/Python-Markdown/markdown.git
- pip install git+https://github.com/mkdocs/mkdocs.git
- pip install pygments