doc: update lua documentation

Reflects the recent changes to the lua infrastructure.
Packaging from luarocks should be encouraged.
This commit is contained in:
Matthieu Coudron
2020-06-06 17:33:37 +02:00
parent 467ce5a9f4
commit 5cfcfc300b
2 changed files with 238 additions and 1 deletions
+1 -1
View File
@@ -18,7 +18,7 @@
<xi:include href="idris.section.xml" />
<xi:include href="ios.section.xml" />
<xi:include href="java.xml" />
<xi:include href="lua.xml" />
<xi:include href="lua.section.xml" />
<xi:include href="node.section.xml" />
<xi:include href="ocaml.xml" />
<xi:include href="perl.xml" />