Lua doc: use \tableofcontents tag.