Skip to content
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.

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

Already on GitHub? Sign in to your account

Reference Manual downloads for OCaml 5.2 give Error 404 #2422

Closed
frou opened this issue May 13, 2024 · 6 comments 路 Fixed by ocaml-web/html-compiler-manuals#5 or #2439
Closed

Reference Manual downloads for OCaml 5.2 give Error 404 #2422

frou opened this issue May 13, 2024 · 6 comments 路 Fixed by ocaml-web/html-compiler-manuals#5 or #2439
Labels
bug Something isn't working manual

Comments

@frou
Copy link

frou commented May 13, 2024

Hi there. The four links to download the manual in the various formats are not working. Maybe I'm just impatient and they are being generated by some background job, but I thought I should report it anyway 馃槄

Reached via:

@cuihtlauac
Copy link
Collaborator

Thanks @frou, this is in indeed a bug.

@cuihtlauac cuihtlauac added bug Something isn't working manual labels May 14, 2024
@sabine
Copy link
Collaborator

sabine commented May 15, 2024

Context: currently these are manually generated and committed to https://github.com/ocaml-web/html-compiler-manuals. So the fix will be to check out the ocaml/ocaml 5.2 release branch, generate the manual there and open a PR with the files on the html-compiler-manuals repo.

@Octachron
Copy link
Member

Note that those manual archives are still mirrored on https://caml.inria.fr/distrib/ocaml-5.2 .

sabine added a commit to ocaml-web/html-compiler-manuals that referenced this issue May 20, 2024
sabine added a commit to ocaml-web/html-compiler-manuals that referenced this issue May 20, 2024
sabine added a commit to ocaml-web/html-compiler-manuals that referenced this issue May 20, 2024
@sabine
Copy link
Collaborator

sabine commented May 20, 2024

The manuals will be available after the next deployment.

@sabine
Copy link
Collaborator

sabine commented May 20, 2024

Sorry, I was wrong, there's some redirects missing.

@frou
Copy link
Author

frou commented May 20, 2024

Thank you very much. I use the download to be able to generate this Docset for the Dash application.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working manual
Projects
Archived in project
4 participants