Skip to content

Conversation

@afarber
Copy link
Contributor

@afarber afarber commented Dec 23, 2025

Fixes #13353

Added a glossary page to the operations guide with definitions for common Jetty terms like Bean, ContextHandler, Handler, Module, $JETTY_HOME, $JETTY_BASE, etc.

The glossary is linked at the end of the operations guide navigation and includes cross-references to the relevant documentation sections.

@afarber
Copy link
Contributor Author

afarber commented Dec 23, 2025

Tested on my Macbook by running cd documentation/jetty && mvn antora -N:

image

Copy link
Contributor

@sbordet sbordet left a comment

Choose a reason for hiding this comment

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

Looks good, but can you please follow the suggested review, as per https://docs.asciidoctor.org/asciidoc/latest/sections/glossary/?
Thanks!

@sbordet sbordet self-requested a review January 5, 2026 19:15
@sbordet sbordet merged commit 20a0940 into jetty:jetty-12.1.x Jan 5, 2026
3 of 5 checks passed
@sbordet sbordet moved this to ✅ Done in Jetty 12.1.6 Jan 5, 2026
@afarber afarber deleted the 13353-create-glossary-doc branch January 5, 2026 19:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

Create a glossary in the documentation

2 participants