Skip to content

Conversation

@josh-wong
Copy link
Member

Description

This PR adds the glossary to the sidebar navigation for the versions of docs that include English and Japanese. Since we recently finalized the Japanese version of the glossary, we can add it to the versions of docs that have both English and Japanese.

Related issues and/or PRs

Previously added the English glossary to the versions of docs that we only have English for in:

Changes made

  • Added a link to the glossary in the docsEnglish sidebar and docsJapanese sidebar for versions 3.14 and 3.13.

Checklist

The following is a best-effort checklist. If any items in this checklist are not applicable to this PR or are dependent on other, unmerged PRs, please still mark the checkboxes after you have read and understood each item.

  • I have updated the side navigation as necessary.
  • I have commented my code, particularly in hard-to-understand areas.
  • I have updated the documentation to reflect the changes.
  • Any remaining open issues linked to this PR are documented and up-to-date (Jira, GitHub, etc.).
  • My changes generate no new warnings.
  • Any dependent changes in other PRs have been merged and published.

Additional notes (optional)

N/A

@josh-wong josh-wong merged commit 754e07d into main Jan 16, 2025
1 check passed
@josh-wong josh-wong deleted the sidebar-nav/add-glossary branch January 16, 2025 07:14
@josh-wong josh-wong mentioned this pull request Jan 16, 2025
6 tasks
@josh-wong josh-wong added bugfix Fix that resolves bugs and removed bugfix Fix that resolves bugs labels Jan 16, 2025
josh-wong added a commit that referenced this pull request May 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

sidebar navigation Updates to the sidebar navigation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant