From 920bd3b16fd0aaafd9eeb6d8e40310664d1a06dc Mon Sep 17 00:00:00 2001 From: Paul Ouellette Date: Tue, 21 May 2019 13:37:10 -0400 Subject: Fix API site build (#8551) --- doc/mkdocs/build.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'doc/mkdocs/build.sh') diff --git a/doc/mkdocs/build.sh b/doc/mkdocs/build.sh index 48ffbbad1..f4d946874 100755 --- a/doc/mkdocs/build.sh +++ b/doc/mkdocs/build.sh @@ -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 -- cgit v1.2.3