From fedf48445febb012d50286c9d73808cbf4cc636e Mon Sep 17 00:00:00 2001
From: Sebastian Thiel <sebastian.thiel@icloud.com>
Date: Sun, 25 Sep 2022 08:32:27 +0800
Subject: [PATCH] See if this fixes CI by naively swapping 'pages' with 'nav'.

---
 src/generator/templates/cli/mkdocs.yml.mako | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/generator/templates/cli/mkdocs.yml.mako b/src/generator/templates/cli/mkdocs.yml.mako
index 6566f5ad77..82e55adfc8 100644
--- a/src/generator/templates/cli/mkdocs.yml.mako
+++ b/src/generator/templates/cli/mkdocs.yml.mako
@@ -14,7 +14,7 @@ repo_url: ${util.github_source_root_url()}
 docs_dir: ${mkdocs.docs_dir}
 site_dir: ${mkdocs.site_dir}
 
-pages:
+nav:
 - ['index.md', 'Home']
 % for resource in sorted(c.rta_map.keys()):
 % for method in sorted(c.rta_map[resource]):