A LuaDoc-compatible documentation generation system