Skip to content

Remove page local TOC#75

Merged
bmunkholm merged 3 commits intomasterfrom
bmunkholm/remove-page-local-toc
Jun 11, 2025
Merged

Remove page local TOC#75
bmunkholm merged 3 commits intomasterfrom
bmunkholm/remove-page-local-toc

Conversation

@bmunkholm
Copy link
Contributor

@bmunkholm bmunkholm commented Jun 11, 2025

Summary of the changes / Why this is an improvement

To progress on general removal of page-local TOC across all docs.
Also moved data-types out to first level as it was the only appendix.

Preview

https://crate-npgsql--75.org.readthedocs.build/en/75/

@bmunkholm bmunkholm requested a review from amotl June 11, 2025 12:08
@bmunkholm bmunkholm self-assigned this Jun 11, 2025
@bmunkholm bmunkholm force-pushed the bmunkholm/remove-page-local-toc branch from b27ebe5 to 31f9f30 Compare June 11, 2025 17:15
@bmunkholm bmunkholm merged commit f88842f into master Jun 11, 2025
4 of 5 checks passed
@bmunkholm bmunkholm deleted the bmunkholm/remove-page-local-toc branch June 11, 2025 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants