Skip to content

Add a glossary section#4650

Open
LecrisUT wants to merge 1 commit intoteemtee:mainfrom
LecrisUT:docs/glossary
Open

Add a glossary section#4650
LecrisUT wants to merge 1 commit intoteemtee:mainfrom
LecrisUT:docs/glossary

Conversation

@LecrisUT
Copy link
Contributor

@LecrisUT LecrisUT commented Mar 6, 2026

This serves as a place where we can dump all definitions of the terms that we use across the project. During the documentation, this can then be consumed with the :term: role giving a reference link to the definition of the term. If we combine this with sphinx-tippy we get a nice pop-up with the contents.

Currently the glossary is not meant to be alphabetically ordered to be able to group together similarly related terms. We should also be able to use multiple .. glossary and group them via sections if a meaningful separation is available

@LecrisUT LecrisUT added documentation Improvements or additions to documentation review | trivial Very easy for review, even for beginners, so don't be afraid to have a look! :-) labels Mar 6, 2026
Copy link
Contributor

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request adds a glossary page. My review includes a minor suggestion to ensure consistent punctuation in the definitions.

Copy link
Contributor

@thrix thrix left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, two minor things to address before merging:

  1. Missing trailing period on the "guest" definition (line 13) — "runner" has one, "guest" doesn't.
  2. Lexicographic ordering within concept groups as discussed with @happz.

Nothing else found.

Generated-by: Claude Code

Signed-off-by: Cristian Le <git@lecris.dev>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation review | trivial Very easy for review, even for beginners, so don't be afraid to have a look! :-)

Projects

Status: review

Development

Successfully merging this pull request may close these issues.

4 participants