Hi Aravindh, Sorry, but I am ill at the moment.
I wanted to submit a PR to fricas/fricas.github.io:
It make no sense to put a PR there, since this repo only holds the generated HTML files to be shown at github.
'<https://github.com/fricas/fricas/>, more precisely in the 'src/doc'
Exactly, this is where the documentation lies. The files for the website are under src/doc/sphinx/source.
Can you wait a bit with your pull requests, I have something locally, but did not have time to finish and publish. Sorry.
BTW, the repo fricas/fricas-doc is not used. I should perhaps remove it. The documentation lives completely in fricas/fricas except the example pages (some jfricas notebooks) that live in fricas/fricas-notebooks.
I'd be happy to discuss the documentation with you when I feel better. Ralf -- 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/ff9b1052-a5cb-47f9-a25c-3c5c6c1c0fec%40hemmecke.org.
