Update API site build (#9622)

minetest · Apr 11, 2020 · 840b17c · 840b17c
1 parent 40df393
commit 840b17c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 13 deletions.
diff --git 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
@@ -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