oss/luanti
oss/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-09-15 18:57:08 +00:00
Code Wiki Activity

Build MkDocs Lua API docs using GitHub CI, deploy to api.minetest.net (#13675)

Browse source 
* Build MkDocs Lua API documentation using GitHub CI and Pages instead

* Remove Lua highlight hack as codeblocks are correctly marked as Lua now

* fix line endings
This commit is contained in:
ROllerozxa 2023-09-18 18:17:18 +02:00 • committed by GitHub
parent e36b2226b9
commit 5949172735
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 51 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/mkdocs/build.sh
View file

@ -1,9 +1,5 @@
#!/bin/sh -e
# Patch Python-Markdown
MARKDOWN_FILE=$(pip show markdown | awk '/Location/ { print $2 }')/markdown/extensions/codehilite.py
patch -N -r - $MARKDOWN_FILE lua_highlight.patch || true
# Split lua_api.md on top level headings
cat ../lua_api.md | csplit -sz -f docs/section - '/^=/-1' '{*}'