Fix typing

collijk · collijk · commit 0a5094a786af · 2024-12-27T17:52:34.000-08:00
diff --git a/scripts/gen_ref_pages.py b/scripts/gen_ref_pages.py
@@ -4,7 +4,7 @@
 
 import mkdocs_gen_files
 
-nav = mkdocs_gen_files.Nav()
+nav = mkdocs_gen_files.Nav()  # type: ignore[attr-defined, no-untyped-call]
 
 root = Path(__file__).parent.parent
 src = root / "src"
