summaryrefslogtreecommitdiff
path: root/doc/mkdocs/lua_highlight.patch
diff options
context:
space:
mode:
authorPaul Ouellette <oue.paul18@gmail.com>2019-04-12 08:29:29 -0400
committerLoïc Blot <nerzhul@users.noreply.github.com>2019-04-12 14:29:29 +0200
commitbb7afd306add29188358f3dafcf0c13f669210d1 (patch)
tree33610151ca1d11274d7d56945931f52e7ef687a7 /doc/mkdocs/lua_highlight.patch
parent22ad820aa459e055fde817d94f31a9461aac2726 (diff)
downloadminetest-bb7afd306add29188358f3dafcf0c13f669210d1.tar.gz
minetest-bb7afd306add29188358f3dafcf0c13f669210d1.tar.bz2
minetest-bb7afd306add29188358f3dafcf0c13f669210d1.zip
Add Mkdocs API site (#8133)
* Add MkDocs API site
Diffstat (limited to 'doc/mkdocs/lua_highlight.patch')
-rw-r--r--doc/mkdocs/lua_highlight.patch9
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/mkdocs/lua_highlight.patch b/doc/mkdocs/lua_highlight.patch
new file mode 100644
index 000000000..bd97612e5
--- /dev/null
+++ b/doc/mkdocs/lua_highlight.patch
@@ -0,0 +1,9 @@
+@@ -77,7 +77,7 @@
+ css_class="codehilite", lang=None, style='default',
+ noclasses=False, tab_length=4, hl_lines=None, use_pygments=True):
+ self.src = src
+- self.lang = lang
++ self.lang = "lua"
+ self.linenums = linenums
+ self.guess_lang = guess_lang
+ self.css_class = css_class