Re: Remove license modules

2020-06-01 Thread Paul Eggert
On 6/1/20 11:00 AM, Bruno Haible wrote: >> Also, there were some '.'s that should be changed to '@.' in the license >> Texinfo files. > I don't know whom to contact to change these. I'd write g...@gnu.org.

Re: Remove license modules

2020-06-01 Thread Bruno Haible
Asher Gordon wrote on 2020-05-17: > >> I also fixed a minor issue where "VCS" ended with > >> "." rather than "@." (see (texinfo) Ending a Sentence). > > > > I won't spend time on a single instance of this very minor issue. But if > > you want to submit a patch that fixes all instances of this issu

Re: Remove license modules

2020-05-17 Thread Asher Gordon
Asher Gordon writes: > Perhaps Texinfo should change its heuristics so that a '.' preceding a > capital letter always starts a sentence, even when it is preceded by a > capital letter. I just realized that this would treat names such as "J. Random Hacker" incorrectly. That would then have to be

Re: Remove license modules

2020-05-17 Thread Asher Gordon
Hi Bruno, Bruno Haible writes: >> I also fixed a minor issue where "VCS" ended with >> "." rather than "@." (see (texinfo) Ending a Sentence). > > I won't spend time on a single instance of this very minor issue. But if > you want to submit a patch that fixes all instances of this issue, I'll >

Re: Remove license modules

2020-05-17 Thread Bruno Haible
Hi Asher, > I think the Texinfo format licenses are human readable > enough that it is sufficient to just include those. This is a hairy question. I don't know whether a judge will be convinced by the presence of a Texinfo formatted license, when no plain-text and no PDF version of the license is

Re: Remove license modules

2020-05-16 Thread Asher Gordon
Hi Bruno, Bruno Haible writes: > Now it has completed, and it turned out you were confusing the license > texts in text format (which ought to be added to VCS directly) and the > license texts in Texinfo format (for which gnulib modules are > appropriate). Well I didn't include the GFDL in plai

Re: Remove license modules

2020-05-15 Thread Bruno Haible
Hi, Asher Gordon wrote: > Since Savannah requires licenses to be under version control (see > here¹), I don't think it makes sense for Gnulib to provide modules for > them. My reasoning is that if developers are going to use a Gnulib > module, they won't keep the files it provides under version co

Remove license modules

2020-05-12 Thread Asher Gordon
Hello all, Since Savannah requires licenses to be under version control (see here¹), I don't think it makes sense for Gnulib to provide modules for them. My reasoning is that if developers are going to use a Gnulib module, they won't keep the files it provides under version control (in fact, gnuli