Fix API site build (#8551)
authorPaul Ouellette <oue.paul18@gmail.com>
Tue, 21 May 2019 17:37:10 +0000 (13:37 -0400)
committerSmallJoker <SmallJoker@users.noreply.github.com>
Tue, 21 May 2019 17:37:10 +0000 (19:37 +0200)
doc/mkdocs/build.sh
doc/mkdocs/code_tag.patch [deleted file]
doc/mkdocs/lua_highlight.patch

index 48ffbbad1a4b40333d69b3c2244e5db33651f9fb..f4d946874865a1d51a281c94a88a00d46de25427 100755 (executable)
@@ -1,9 +1,7 @@
 #!/bin/sh -e
 
-# Patch Pygments and Python-Markdown
-PYGMENTS_FILE=$(pip show pygments | awk '/Location/ { print $2 }')/pygments/formatters/html.py
+# Patch Python-Markdown
 MARKDOWN_FILE=$(pip show markdown | awk '/Location/ { print $2 }')/markdown/extensions/codehilite.py
-patch -N -r - $PYGMENTS_FILE code_tag.patch || true
 patch -N -r - $MARKDOWN_FILE lua_highlight.patch || true
 
 # Split lua_api.txt on top level headings
diff --git a/doc/mkdocs/code_tag.patch b/doc/mkdocs/code_tag.patch
deleted file mode 100644 (file)
index 3148bc2..0000000
+++ /dev/null
@@ -1,31 +0,0 @@
-@@ -691,7 +691,7 @@
-             yield tup
-         yield 0, '</div>\n'
--    def _wrap_pre(self, inner):
-+    def _wrap_pre_code(self, inner):
-         style = []
-         if self.prestyles:
-             style.append(self.prestyles)
-@@ -704,10 +704,10 @@
-         # the empty span here is to keep leading empty lines from being
-         # ignored by HTML parsers
--        yield 0, ('<pre' + (style and ' style="%s"' % style) + '><span></span>')
-+        yield 0, ('<pre' + (style and ' style="%s"' % style) + '><code><span></span>')
-         for tup in inner:
-             yield tup
--        yield 0, '</pre>'
-+        yield 0, '</code></pre>'
-     def _format_lines(self, tokensource):
-         """
-@@ -815,7 +815,7 @@
-         individual lines, in custom generators. See docstring
-         for `format`. Can be overridden.
-         """
--        return self._wrap_div(self._wrap_pre(source))
-+        return self._wrap_div(self._wrap_pre_code(source))
-     def format_unencoded(self, tokensource, outfile):
-         """
index bd97612e567b9bbc88da8b53ed85f1566020e1fb..034a63a331d2a141f06464b689f28e8a1f636c3f 100644 (file)
@@ -7,3 +7,13 @@
          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