> On Sun, 16 Jul 2017 15:01:54 -0400 (EDT)
> "David A. Wheeler" wrote:
> > It's more convenient to put this in a git repo, and I'd be
> > happy to do that.
> Yes, you can do that. I have never used github, so I don't know how it
I'd be happy to do that!
On Mon, 17 Jul 2017 17:20:15 +0200, "Tony Häger" <to...@tele2.se
> I was thinking about using GPL exactly as Norman has done for Metamath.
> But then I couldn't determine if I would have to include the
> whole LICENSE.TXT in the zip-file to make it valid.That file is about the
> same size as my code. It seems like unnecessary waste of space. The GPL
> licence text must already exist in millions of copies all over the
Just say "license it just like metamath", and I'll do the rest.
Here's what metamath's README.txt file says:
The metamath program is copyright under the terms of the GNU GPL license
version 2 or later. See the file LICENSE.TXT in this directory.
As far as file size goes, I wouldn't worry about that, especially not in the *source* repo.
On some systems packaging will deduplicate that for installation. E.g., Debian would just
refer to </usr/share/common-licenses/>. See https://www.debian.org/legal/licenses/
--- David A. Wheeler