Skip to content

html manuals still link to inria website instead of ocaml.org #1131

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
sanette opened this issue Jun 29, 2020 · 5 comments · May be fixed by #1574
Open

html manuals still link to inria website instead of ocaml.org #1131

sanette opened this issue Jun 29, 2020 · 5 comments · May be fixed by #1574
Assignees
@Chris00

Comments

@sanette
Copy link
Contributor

sanette commented Jun 29, 2020

in the releases directory, the *refman.html, *.refman-html.zip, and refman-html.tar.gz files point to the INRIA
website in the sentence

"This manual is also available in PDF. plain text, as a bundle of HTML files, and as a bundle of Emacs Info files."

instead of pointing to ocaml.org, while the links are correct in https://ocaml.org/releases/4.10/htmlman/index.html

This is related to ocaml/ocaml.org#1110
@Chris00 Chris00 self-assigned this Jul 1, 2020
@Chris00
Copy link
Member

Chris00 commented Jul 1, 2020

Unfortunately, with the pandemic, I have had even less time to look into this. I should be able to find some time next week to start to work on this — but I need some rest too! ☺

@sanette
Copy link
Contributor Author

sanette commented Jul 1, 2020

sure, there is nothing urgent, as long as the inria website is still alive ;)

@Octachron
Copy link
Member

It seems to me that we could start by updating the manual source to point to ocaml.org . This would solve the issue for at least 4.10 (once 4.10.1 is released) and 4.11.

@sanette
Copy link
Contributor Author

sanette commented Jul 6, 2020

updating the manual source to point to ocaml.org

I think this is already done

@gurleennsidhuu
Copy link
Contributor

Hi. I would like to try this issue. :)

@gurleennsidhuu gurleennsidhuu linked a pull request Apr 30, 2021 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Chris00 Chris00

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

html manual links changed from inria website to ocaml.org
4 participants
@Chris00 @sanette @Octachron @gurleennsidhuu