Re: [Savannah-hackers-public] [gnu.org #2110556] Savannah hosting requirements on documentation license

[Richard Stallman]

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > gcl does not have a license or a copyright notice on docs [1]. It was my 
  > wishful thinking that because the docs live in the same git repository 
  > as the codes, I wanted to assume that the same COPYING file could be 
  > applied to docs, because I didn't really want to say the docs were 
  > nonfree.

That assumption is never reliable, and no package should contain
nontrivial files without a clear statement of the license of each file.

A copy of a license, in a file called COPYING or LICENSE, does not 
explicitly say what it applies to, so such omission a bad practice.

I will write to the GCL maintainer about this, and cc you, But first,
I need to understand some things that are not self-evident.

https://git.savannah.gnu.org/cgit/gcl.git/tree/gcl/doc seems to be a
directory.  I looked at a few files -- they seem to be plain ASCII
text.  Is that what they are?

Are those files edited by hand, or are they output made by processing
some other files (we can call them "source files" of the
documentation)?

If the latter, where are those files, and do they have copyright and
license notices?

The answers to thoses questions determine what we need to ask for.

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)