From bb7afd306add29188358f3dafcf0c13f669210d1 Mon Sep 17 00:00:00 2001 From: Paul Ouellette Date: Fri, 12 Apr 2019 08:29:29 -0400 Subject: Add Mkdocs API site (#8133) * Add MkDocs API site --- doc/mkdocs/lua_highlight.patch | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 doc/mkdocs/lua_highlight.patch (limited to 'doc/mkdocs/lua_highlight.patch') 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 -- cgit v1.2.3