From ec9edc294fd5e7e29977fc7b0e6fb953422bc0e2 Mon Sep 17 00:00:00 2001
From: 魏曹先生 <1992414357@qq.com>
Date: Wed, 19 Aug 2026 05:54:00 +0800
Subject: chore: reorganize dev tools into dev/ directory and consolidate
 configs

Move CI, dev tools, and configs from root-level scattered locations into
a
unified `dev/` directory structure. Update all references across build
scripts, documentation, and editor configurations.

Also consolidate editor config generation into build.rs for automated
synchronization of rust-analyzer settings across VS Code and Zed.
---
 dist/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dist/index.html')

diff --git a/dist/index.html b/dist/index.html
index 905e90a..116211f 100644
--- a/dist/index.html
+++ b/dist/index.html
@@ -908,7 +908,7 @@ mling update</code></pre>
                 >GitHub</a
             >
             ·
-            <a href="../docs/doc.html">Docs</a>
+            <a href="../docs/index.html">Docs</a>
         </footer>
 
         <script src="../docs/scripts/display-parse.js"></script>
-- 
cgit