From ba083f2756f70bd797e9c4e8f268bb8837c8fa14 Mon Sep 17 00:00:00 2001
From: Johannes Kirschbauer <hsjobeki@gmail.com>
Date: Wed, 2 Sep 2026 18:05:20 +0200
Subject: [PATCH] doc/nav: use id-prefix for autogenerated docs

Use the same auto-id prefix as the included files
---
 doc/nav.json | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/nav.json b/doc/nav.json
index 1ede5016dabd..6ad379a6f9e0 100644
--- a/doc/nav.json
+++ b/doc/nav.json
@@ -58,6 +58,7 @@
               "file": "functions.md"
             },
             {
+              "id-prefix": "auto-generated",
               "file": "functions/library.md"
             },
             {
@@ -449,6 +450,7 @@
                   "file": "packages/treefmt.section.md"
                 },
                 {
+                  "id-prefix": "auto-generated-treefmt-functions",
                   "file": "packages/treefmt-functions.section.md"
                 }
               ]