diff options
| author | Paul Ouellette <oue.paul18@gmail.com> | 2020-04-11 14:38:39 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-11 20:38:39 +0200 |
| commit | 840b17ce63615424e566b056077b9dfa50d67293 (patch) | |
| tree | 1beb0980d1ae74dfc7aef2f4d9acd292147e2884 | |
| parent | 40df3931d882daaeee42c8de69882b9f9df5c312 (diff) | |
| download | minetest-840b17ce63615424e566b056077b9dfa50d67293.tar.gz minetest-840b17ce63615424e566b056077b9dfa50d67293.tar.bz2 minetest-840b17ce63615424e566b056077b9dfa50d67293.zip | |
Update API site build (#9622)
| -rw-r--r-- | .gitlab-ci.yml | 3 | ||||
| -rw-r--r-- | doc/mkdocs/lua_highlight.patch | 12 |
2 files changed, 2 insertions, 13 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9781f9f85..a3d634261 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -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 diff --git a/doc/mkdocs/lua_highlight.patch b/doc/mkdocs/lua_highlight.patch index 034a63a33..e231081d6 100644 --- a/doc/mkdocs/lua_highlight.patch +++ b/doc/mkdocs/lua_highlight.patch @@ -1,4 +1,4 @@ -@@ -77,7 +77,7 @@ +@@ -75,7 +75,7 @@ css_class="codehilite", lang=None, style='default', noclasses=False, tab_length=4, hl_lines=None, use_pygments=True): self.src = src @@ -7,13 +7,3 @@ self.linenums = linenums self.guess_lang = guess_lang self.css_class = css_class -@@ -119,7 +119,8 @@ - cssclass=self.css_class, - style=self.style, - noclasses=self.noclasses, -- hl_lines=self.hl_lines) -+ hl_lines=self.hl_lines, -+ wrapcode=True) - return highlight(self.src, lexer, formatter) - else: - # just escape and build markup usable by JS highlighting libs |