Hi Ralf, 1. This site is still for 1.3.10 version. I guess you are too busy to update it?
I can give it a try to update for 1.3.11. I'll open a PR for you to review. 2. The main reason is that I want the new reference book to show in the documentation site. I suggest to change the link from https://fricas.github.io/book.pdf to https://github.com/fricas/fricas/releases/download/1.3.11/fricas-1.3.11-reference-book.pdf So that the download statistics can be collected. 3. Is it worth the effort to automate the process of updating this site? (via CI, github actions.) 4. Is it worth the effort to also have the documentation site for the nightly code (git HEAD)? - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/91139273-0ccd-4d5e-9635-87da8cb87601%40gmail.com.
