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.

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

docs should be good enough for 3.8 stable release #7584

Closed
emillon opened this issue Apr 19, 2023 · 0 comments · Fixed by #7683
Closed

docs should be good enough for 3.8 stable release #7584

emillon opened this issue Apr 19, 2023 · 0 comments · Fixed by #7683
Assignees
@emillon
Labels
docs Documentation improvements
Milestone
3.8.0

Comments

@emillon
Copy link
Collaborator

emillon commented Apr 19, 2023

3.8.0 docs are going to be deployed as stable so they should be decent. They're expected to be a bit worse than 3.7.1, but the next major version will improve them a lot (see #7325).
Still, we should make sure that the TOC is decent before releasing, and maybe adding a note about this.
@emillon emillon added the docs Documentation improvements label Apr 19, 2023
@emillon emillon added this to the 3.8.0 milestone Apr 19, 2023
@emillon emillon self-assigned this Apr 19, 2023
@emillon emillon changed the title docs are good enough for 3.8 stable release docs should be good enough for 3.8 stable release Apr 19, 2023
@emillon emillon mentioned this issue May 4, 2023
Merged
emillon added a commit to emillon/dune that referenced this issue May 4, 2023
@emillon
doc: put uncategorized pages under the best header
83aa69e 
Fixes ocaml#7584

This makes sure that the intermediate state we're in still makes sense
in a release. The pages in question are not 100% of the right type but
they make sense as part of the section.

Signed-off-by: Etienne Millon <me@emillon.org>
emillon added a commit that referenced this issue May 15, 2023
@emillon
doc: put uncategorized pages under the best header (#7683)
60f4038 
Fixes #7584

This makes sure that the intermediate state we're in still makes sense
in a release. The pages in question are not 100% of the right type but
they make sense as part of the section.

Signed-off-by: Etienne Millon <me@emillon.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@emillon emillon

Labels
docs Documentation improvements
Projects
None yet
Milestone
3.8.0
Development

Successfully merging a pull request may close this issue.

doc: put uncategorized pages under the best header emillon/dune
1 participant
@emillon