Closed gvanuxem closed 4 months ago
Nemocas.org is not owned or controlled by us, but rather by a SEO spammer. Don't use that site.
On https://nemocas.github.io/Nemo.jl/stable/ there is a little symbol with a pen on the top right. Click on it to get to the source file for that page on GitHub. You can fix some typos directly there (well, at least you can make a pull request with a fix), that's maybe the most efficient way to submit a correction. However this doesn't work if the text is coming from a docstring, but you could still click the edit button then navigate to issues to open a new issue to report the typo
I prefer, yes, thanks for the tip!
Le mar. 7 mai 2024 à 20:02, Max Horn @.***> a écrit :
On https://nemocas.github.io/Nemo.jl/stable/ there is a little symbol with a pen on the top right. Click on it to get to the source file for that page on GitHub. You can fix some typos directly there (well, at least you can make a pull request with a fix), that's maybe the most efficient way to submit a correction. However this doesn't work if the text is coming from a docstring, but you could still click the edit button then navigate to issues to open a new issue to report the typo
— Reply to this email directly, view it on GitHub https://github.com/Nemocas/Nemo.jl/issues/1747#issuecomment-2099010190, or unsubscribe https://github.com/notifications/unsubscribe-auth/AKGLAMHZX7KH5VM3X2I73YTZBEJMPAVCNFSM6AAAAABHLOGVMWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAOJZGAYTAMJZGA . You are receiving this because you authored the thread.Message ID: @.***>
Actually I look almost everyday at the Nemo documentation from GitHub.io. I am coding an interface to it using libjulia. Usually it is via nemocas.org (https://www.nemocas.org/documentation/)* because of web search engines. What about adding to the About section of this project a link to its githu.io:
https://nemocas.github.io/Nemo.jl
BTW: I regularly find some small mistakes, typos or repetitions, I can put them in a file when I encounter some them and post them later in your mailing list.
* Version number can also be updated.