Add Mkdocs API site (#8133)
authorPaul Ouellette <oue.paul18@gmail.com>
Fri, 12 Apr 2019 12:29:29 +0000 (08:29 -0400)
committerLoïc Blot <nerzhul@users.noreply.github.com>
Fri, 12 Apr 2019 12:29:29 +0000 (14:29 +0200)
commitbb7afd306add29188358f3dafcf0c13f669210d1
tree33610151ca1d11274d7d56945931f52e7ef687a7
parent22ad820aa459e055fde817d94f31a9461aac2726
Add Mkdocs API site (#8133)

* Add MkDocs API site
.gitignore
.gitlab-ci.yml
doc/lua_api.txt
doc/mkdocs/build.sh [new file with mode: 0755]
doc/mkdocs/code_tag.patch [new file with mode: 0644]
doc/mkdocs/docs/css/code_styles.css [new file with mode: 0644]
doc/mkdocs/docs/css/extra.css [new file with mode: 0644]
doc/mkdocs/docs/img/favicon.ico [new symlink]
doc/mkdocs/lua_highlight.patch [new file with mode: 0644]