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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Re-apply formatting to SUMMARY.md #1429

Merged
merged 1 commit into from
Dec 1, 2023
Merged

Conversation

mgeisler
Copy link
Collaborator

With the latest version of mdbook-i18n-helpers, we now have support for formatting in the SUMMARY.md file. This allows us to revert the changes made in #130 when we first introduced the translation support.

This also aligns a few headings to match the heading in the outline. While this isn’t strictly necessary, it removes a bit of work for the translators.

@mgeisler
Copy link
Collaborator Author

This is a draft until we have a new release of mdbook-i18n-helpers with google/mdbook-i18n-helpers#100.

With the latest version of mdbook-i18n-helpers, we now have support
for formatting in the `SUMMARY.md` file. This allows us to revert the
changes made in #130 when we first introduced the translation support.

This also aligns a few headings to match the heading in the outline.
While this isn’t strictly necessary, it removes a bit of work for the
translators.
@mgeisler mgeisler force-pushed the apply-summary-formatting branch from a21a6b8 to 782e628 Compare December 1, 2023 17:47
@mgeisler mgeisler marked this pull request as ready for review December 1, 2023 17:47
@mgeisler mgeisler requested a review from djmitche December 1, 2023 17:49
@mgeisler
Copy link
Collaborator Author

mgeisler commented Dec 1, 2023

Now that #1073 is merged, we can reapply this.

@mgeisler mgeisler requested a review from anforowicz December 1, 2023 18:00
@mgeisler mgeisler enabled auto-merge (squash) December 1, 2023 18:00
@mgeisler mgeisler merged commit 53baee8 into main Dec 1, 2023
34 checks passed
@mgeisler mgeisler deleted the apply-summary-formatting branch December 1, 2023 18:20
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.

3 participants