[PATCH] some doc and typo fixes

[Qian Yun]

This attachment contains over a dozen doc and typo fixes,
please review.

(BTW Waldek, there is a new user asking about riscv support
https://github.com/fricas/fricas/issues/182, I hope my previous
mail about updating autoconf stuff is not lost in the mail system.
Also my previous mails about ")ltrace", ")savesystem" and "musl".)

- Qian

[Waldek Hebisch]

On Tue, Oct 08, 2024 at 05:19:01PM +0800, Qian Yun wrote:
> This attachment contains over a dozen doc and typo fixes,
> please review.

They look good, please commit.

> (BTW Waldek, there is a new user asking about riscv support
> https://github.com/fricas/fricas/issues/182, I hope my previous
> mail about updating autoconf stuff is not lost in the mail system.

I remember. Sorry about being slow. I have now a RISC-V machine,
small and slow but hopefully it will be enough to do native tests.

> Also my previous mails about ")ltrace", ")savesystem" and "musl".)
>

Yes.

--
Waldek Hebisch