From 471ea8da43c78dfef6c9316534d7c139cd288969 Mon Sep 17 00:00:00 2001
From: Jonathan Matthews <github@hello.jonathanmatthews.com>
Date: Tue, 5 Nov 2024 17:02:59 +0000
Subject: [PATCH] docs/concept: add tag-scoped search for modules

This adds a search widget scoped to "tag:modules" on the modules concept
landing page, and rewords the prose that introduces it.

Preview-Path: /docs/concept/modules/
Signed-off-by: Jonathan Matthews <github@hello.jonathanmatthews.com>
Change-Id: I162718ef6a43b998b12229a65be383d83f858268
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1203622
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Reviewed-by: Paul Jolly <paul@myitcv.io>
---
 content/docs/concept/modules/_en.md            | 11 ++++++++---
 hugo/content/en/docs/concept/modules/_index.md | 11 ++++++++---
 2 files changed, 16 insertions(+), 6 deletions(-)

diff --git a/content/docs/concept/modules/_en.md b/content/docs/concept/modules/_en.md
index 7486015ee..d89fcc8cd 100644
--- a/content/docs/concept/modules/_en.md
+++ b/content/docs/concept/modules/_en.md
@@ -7,9 +7,10 @@ toc_hide: false
 Modules are how CUE manages native dependencies.
 They can be published to a registry, which allows users to fetch and work with their contents.
 
-Learn about CUE modules using the suggested links below,
-or follow the {{<tag modules>}} tag to explore the full range of modules-related
-pages on the site.
+Learn about modules using these recommended guides, or
+browse through all the {{<tag modules>}} pages listed below:
+
+## Recommended guides
 
 {{<cards>}}
 {{<card title="Reference manual"
@@ -54,3 +55,7 @@ Publishing modules to the Central Registry
 Working with a custom module registry
 {{</card>}}
 {{</cards>}}
+
+## All pages tagged "modules"
+
+{{<search tags="modules">}}
diff --git a/hugo/content/en/docs/concept/modules/_index.md b/hugo/content/en/docs/concept/modules/_index.md
index 7486015ee..d89fcc8cd 100644
--- a/hugo/content/en/docs/concept/modules/_index.md
+++ b/hugo/content/en/docs/concept/modules/_index.md
@@ -7,9 +7,10 @@ toc_hide: false
 Modules are how CUE manages native dependencies.
 They can be published to a registry, which allows users to fetch and work with their contents.
 
-Learn about CUE modules using the suggested links below,
-or follow the {{<tag modules>}} tag to explore the full range of modules-related
-pages on the site.
+Learn about modules using these recommended guides, or
+browse through all the {{<tag modules>}} pages listed below:
+
+## Recommended guides
 
 {{<cards>}}
 {{<card title="Reference manual"
@@ -54,3 +55,7 @@ Publishing modules to the Central Registry
 Working with a custom module registry
 {{</card>}}
 {{</cards>}}
+
+## All pages tagged "modules"
+
+{{<search tags="modules">}}