Expand document collections with Pretext tutorial and simplify library navigation

2026-10-28 13:42:51 +08:00
parent 1f3ab5a7ee
commit 2b3b3a1ae4
28 changed files with 1174 additions and 761 deletions
@@ -27,7 +27,7 @@ def verify(base: str) -> None:
    assert status == 200 and json.loads(health) == {"status": "ok"}
    status, _, login = get("/login")
    assert status == 200 and "输入动态码" in login.decode()
-    for path in ("/", "/docs/00-endor-concepts-draft", "/figures/endor-architecture.svg"):
+    for path in ("/", "/docs/00-endor-concepts-draft", "/figures/endor-architecture.svg", "/docs/pretext/01-chapter", "/materials/pretext/verify.cjs", "/materials/pretext/results.chrome156.json"):
        status, headers, _ = get(path)
        assert status == 307, path
        target = urllib.parse.urlparse(urllib.parse.urljoin(base, headers["Location"]))