diff options
| author | Paul Ouellette <oue.paul18@gmail.com> | 2019-05-21 13:37:10 -0400 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2019-05-21 19:37:10 +0200 |
| commit | 920bd3b16fd0aaafd9eeb6d8e40310664d1a06dc (patch) | |
| tree | d52e99bcd2435b6a4d0fe8b2f54f10aff64eb754 /doc/mkdocs/build.sh | |
| parent | cfef466d4ef2eee5586bbd8afacc64e4a1939d88 (diff) | |
| download | minetest-920bd3b16fd0aaafd9eeb6d8e40310664d1a06dc.tar.gz minetest-920bd3b16fd0aaafd9eeb6d8e40310664d1a06dc.tar.bz2 minetest-920bd3b16fd0aaafd9eeb6d8e40310664d1a06dc.zip | |
Fix API site build (#8551)
Diffstat (limited to 'doc/mkdocs/build.sh')
| -rwxr-xr-x | doc/mkdocs/build.sh | 4 |
1 files changed, 1 insertions, 3 deletions
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 |