Skip to content

fix(config): Make glossary agent-only by removing nav link#218

Merged
jesi-rgb merged 1 commit into
prod-stagingfrom
glossary-agents-only
Jul 6, 2026
Merged

fix(config): Make glossary agent-only by removing nav link#218
jesi-rgb merged 1 commit into
prod-stagingfrom
glossary-agents-only

Conversation

@JeromeJaggi

Copy link
Copy Markdown
Member

What

Removes the visible Glossary entry from the docs top navigation,
making the glossary agent-only across the site (consistent with the
marketing site, where the glossary is now published only at
/glossary.md).

Why

Per the agent-readability initiative, the glossary is content meant for
AI agents to ingest — it does not need a human-facing navigation link in
the docs.

Trade-off (intentional)

The per-page html.glossary-link a14y check was passing on docs pages
only because of this nav link, so removing it will make that single
check fail on docs pages. This is an accepted trade-off: the glossary
remains discoverable to agents via the marketing site's /glossary.md,
llms.txt, AGENTS.md and sitemap.md.

Changes

  • Remove the "Glossary" top-navigation link from zudoku.config.tsx.

Note

Docs can't be built locally (content is pulled at Docker build time);
please sanity-check the deploy preview.

The glossary is agent-only content: it is available for AI agents at
https://unikraft.com/glossary.md and no longer needs a human-facing
navigation entry in the docs.

Remove the "Glossary" top-navigation link so the docs glossary is
agent-only, consistent with the marketing site.

Signed-off-by: Jerome Jaggi <jerome@unikraft.io>
@JeromeJaggi JeromeJaggi temporarily deployed to pull-requests July 6, 2026 13:04 — with GitHub Actions Inactive
@github-actions github-actions Bot temporarily deployed to pull-requests July 6, 2026 13:04 Inactive
@JeromeJaggi JeromeJaggi temporarily deployed to pull-requests July 6, 2026 13:06 — with GitHub Actions Inactive
@github-actions github-actions Bot temporarily deployed to pull-requests July 6, 2026 13:09 Inactive
@JeromeJaggi JeromeJaggi requested a review from jesi-rgb July 6, 2026 13:13

@jesi-rgb jesi-rgb left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

no culture for flesh!

Reviewed-by: Jesús Rascón jesus@unikraft.io
Approved-by: Jesús Rascón jesus@unikraft.io

@jesi-rgb jesi-rgb merged commit d3ba6e5 into prod-staging Jul 6, 2026
9 of 10 checks passed
@jesi-rgb jesi-rgb deleted the glossary-agents-only branch July 6, 2026 13:32
@jesi-rgb jesi-rgb temporarily deployed to pull-requests July 6, 2026 13:32 — with GitHub Actions Inactive
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