From 57ef12633434e39594a71f746b02c6db663fbf44 Mon Sep 17 00:00:00 2001
From: Pokey Rule <755842+pokey@users.noreply.github.com>
Date: Sun, 4 Aug 2024 17:08:18 +0100
Subject: [PATCH] docs: Exclude language docs from crawler

---
 .../cursorless-org-docs/config/algolia/crawler-settings.js   | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/packages/cursorless-org-docs/config/algolia/crawler-settings.js b/packages/cursorless-org-docs/config/algolia/crawler-settings.js
index 64b59a4a92..43b5d3b435 100644
--- a/packages/cursorless-org-docs/config/algolia/crawler-settings.js
+++ b/packages/cursorless-org-docs/config/algolia/crawler-settings.js
@@ -9,7 +9,10 @@ new Crawler({
   actions: [
     {
       indexName: "cursorless",
-      pathsToMatch: ["https://www.cursorless.org/docs/**"],
+      pathsToMatch: [
+        "https://www.cursorless.org/docs/**",
+        "!https://www.cursorless.org/docs/user/languages/**",
+      ],
       recordExtractor: ({ $, helpers }) => {
         // priority order: deepest active sub list header -> navbar active item -> 'Documentation'
         const lvl0 =