Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
search: add a link to the search howto page
This adds a link from the site's search widget to a guide which demonstrates the different search operators that the reader can use to narrow down their search results. The link is visible on /search/, as well as any page that embeds the search widget (such as /docs/howto/). It is not visible in the page header's search widget (because I'm not yet sure how to make that change), but an equivalent link could probably be added to that popup element if this link proves to be useful to users. Also: remove a pointless redirect when the "search" link is used from the site's 404 page. Closes cue-lang/docs-and-content#1. Preview-Path: /search/ Preview-Path: /docs/howto/ Signed-off-by: Jonathan Matthews <[email protected]> Change-Id: Ibe287f58295320141448574a1b91f8bd9ec00b14 Dispatch-Trailer: {"type":"trybot","CL":1206957,"patchset":2,"ref":"refs/changes/57/1206957/2","targetBranch":"master"}
- Loading branch information