On Thu, Apr 21, 2022 at 12:22:17AM -0400, Richard Stallman wrote: > > Is it something completely different? > > Yes, totally, and enormously better. From this one, you can actually > learn C. > > > We should treat them as two different works. But how? > > We could call this repo something different, but what? > Any suggestions?
"GNU Manual for C"? this would resolve the ambiguity (GNU C) Manual (which is what current gnu-c-manual seems to be) vs. GNU (C Manual). > Or we could rename the existing repo to Old GNU C Manual. > Is that hard to do? Yes. I think we never rename groups on Savannah after they are approved and have any history; it would also cause confusion if we create a new group in place of an old one that has been there for decades.
signature.asc
Description: PGP signature
