On Sat, Sep 21, 2024 at 07:24:37PM +0800, Qian Yun wrote: > 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 have put book pdf at: http://wiki.fricas.org/public/book.pdf and linked result of API build at http://fricas.org/ (this also contains copy of the book). > 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.) I am not sure what trouble Ralf had. Above I had trouble: first time documentation build failed. And I did not look if links are correct. But IMO updating site is trivial provided that documentation build works OK. So I would be for manual update (this avoid potentially nasty troubles when automation fails or is abused by malicious actors). > 4. Is it worth the effort to also have the documentation site > for the nightly code (git HEAD)? I do not think so: changes are slow enough. I think that automatically extracting _differences_ could be of some use. But that would require some work. -- Waldek Hebisch -- 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/Zu7thTlC8t2ZaPMg%40fricas.org.
