On 2024-11-23 15:09, Richard Stallman wrote: [...]
I will write to the GCL maintainer about this, and cc you, But first, I need to understand some things that are not self-evident.https://git.savannah.gnu.org/cgit/gcl.git/tree/gcl/doc seems to be a directory. I looked at a few files -- they seem to be plain ASCII text. Is that what they are? Are those files edited by hand, or are they output made by processing some other files (we can call them "source files" of the documentation)?
To the best of my knowledge, they are just plain ASCII text edited by hand.
If the latter, where are those files, and do they have copyright and license notices? The answers to thoses questions determine what we need to ask for.
-- Jing Luo About me: https://jing.rocks/about/ GPG Fingerprint: 4E09 8D19 00AA 3F72 1899 2614 09B3 316E 13A1 1EFC
signature.asc
Description: OpenPGP digital signature
