AFAIK, a file is not coverered under the GPL unless it sports a notice that says so. Putting the GPL in a directory doesn't render its content covered by the l

AFAIK, a file is not coverered under the GPL unless it sports a notice that says so. Putting the GPL in a directory doesn't render its content covered by the license. In this case, there's no indication in the files that they are covered by anything. The README clearly states that the texi source is CC licensed, though. So, even if the repository owner intended to release this under the GPL, his actions are void.