Skip to content
Permalink
Browse files

Fix API site build (#8551)

  • Loading branch information...
pauloue authored and SmallJoker committed May 21, 2019
1 parent cfef466 commit 920bd3b16fd0aaafd9eeb6d8e40310664d1a06dc
Showing with 11 additions and 34 deletions.
  1. +1 −3 doc/mkdocs/build.sh
  2. +0 −31 doc/mkdocs/code_tag.patch
  3. +10 −0 doc/mkdocs/lua_highlight.patch
@@ -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

This file was deleted.

@@ -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

0 comments on commit 920bd3b

Please sign in to comment.
You can’t perform that action at this time.