Which files constitute the documentation, other applications on Debian distributions seem to have "changelogs", copyright (which includes any copyrights from other non-GPL but compatible incorporated parts - which might be relevant for Lua http://www.lua.org/license.html), NEWS, README etc...