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"
                 }
               ]