update lua doc to html generator
authorRobin Gareus <robin@gareus.org>
Wed, 6 Apr 2016 15:01:53 +0000 (17:01 +0200)
committerRobin Gareus <robin@gareus.org>
Wed, 6 Apr 2016 15:03:34 +0000 (17:03 +0200)
commit22b1a0b6aec9651549e75469c4de43ea33c62f3a
treed290549e063b960aff7a8f6e2d64f664f4c00bfc
parent165ae0863a84b9c8ed5da19daee0fe1197dbaea6
update lua doc to html generator
tools/fmt-luadoc.php
tools/update_luadoc.sh [new file with mode: 0755]