modified make-lua-docs.lua for server doc creation