Skip to content

Add documentation-search page to the interfaces sidebar#6453

Draft
dhtclk wants to merge 1 commit into
mainfrom
doc-108345-add-documentation-search-sidebar
Draft

Add documentation-search page to the interfaces sidebar#6453
dhtclk wants to merge 1 commit into
mainfrom
doc-108345-add-documentation-search-sidebar

Conversation

@dhtclk

@dhtclk dhtclk commented Jun 26, 2026

Copy link
Copy Markdown
Collaborator

Step 3 of 3 for adding the /docs documentation-search Web UI page from ClickHouse/ClickHouse#108345.

Adds interfaces/documentation-search to the "Native clients & interfaces" sidebar group so it has a real nav home.

Sequence (per the style guide floating-pages process):

  1. Add interfaces/documentation-search to floating-pages exceptions #6454 — add to floating-pages-exceptions.txt (merge first).
  2. #108345 docs check passes → #108345 merges.
  3. ⬅️ This PR — merge last.

⚠️ Before merging this, two things must be done:

  • #108345 must be in ClickHouse master (so the page exists downstream; otherwise the build fails on a missing doc id).
  • This branch must be rebased on main (after Add interfaces/documentation-search to floating-pages exceptions #6454 merges) and updated to remove the interfaces/documentation-search line from floating-pages-exceptions.txt — the exception is no longer needed once it's in the sidebar.

Kept as a draft until then.

Adds the `interfaces/documentation-search` page (the /docs search Web UI)
to the "Native clients & interfaces" sidebar group so it is not a
floating page once it syncs from the ClickHouse repo.

Depends on ClickHouse/ClickHouse#108345, which adds the page source. Must
not be merged until that PR is in ClickHouse master, otherwise the docs
build fails on a sidebar entry pointing at a non-existent doc.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@vercel

vercel Bot commented Jun 26, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
clickhouse-docs Error Error Comment Jun 26, 2026 9:25pm
clickhouse-docs-jp Building Building Preview, Comment Jun 26, 2026 9:25pm
3 Skipped Deployments
Project Deployment Actions Updated (UTC)
clickhouse-docs-ko Ignored Ignored Preview Jun 26, 2026 9:25pm
clickhouse-docs-ru Ignored Ignored Preview Jun 26, 2026 9:25pm
clickhouse-docs-zh Ignored Ignored Preview Jun 26, 2026 9:25pm

Request Review

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.

1 participant