Re: Lua 5.1 reference manual license (was: new project added)

[roberto@... (Roberto Ierusalimschy)]

> > if is a open source project? For example, is the plugin
> > http://www.vim.org/scripts/script.php?script_id=1291 infringing copyright
> > laws for  integrating a vim-help document with the full content of the lua
> > manual ?
> 
> That's a good question, actually. I couldn't find the license for the Lua 5.1
> reference manual, and should have asked the authors before including it in
> luarefvim. I could only find the license for the Lua 5.0 reference manual in
> the ps/pdf version of it -- the same as Lua 5.0+ -- which made me assume that
> the same license applies to the Lua 5.1 manual. Is this true? In any case, it
> would be nice to have the license in all versions of the manual.

As lhf pointed out, the license is the same. The html manual does
contain a copyright notice with a link to the license (just after the
title and the authors), but maybe that could be more visible. (In any
case, it doesn't hurt to ask the authors, just to be sure :)

-- Roberto