Disallow search crawling

build.py

@@ -274,6 +274,10 @@ def main() -> None:
     output.write_text(html_content, encoding="utf-8")
     print(f"Built {output}")
 
+    robots = PUBLIC_DIR / "robots.txt"
+    robots.write_text("User-agent: *\nDisallow: /\n", encoding="utf-8")
+    print(f"Built {robots}")
+
     print(f"Zips in {ZIPS_DIR}:")
     for z in sorted(ZIPS_DIR.iterdir()):
         print(f"  {z.name}")