Re: [Bug-gnulib] Re: missing licenses in gnulib

[Bruno Haible]

Simon Josefsson wrote:
> IMHO, I'd rather fix gnulib-tool to ignore lines starting with # (if
> gnulib-tool doesn't do this already).  Then we can support comments in
> the module meta-info files, including license of the file itself.

I don't think # would be a good choice here, because
  1. the Makefile section sometimes has comments,
  2. the Includes section often has #include.

Therefore I added the copyright notice in a separate file.

Bruno