chore: reorganize dev tools into dev/ directory and consolidate configsHEADmain

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.

1 files changed, 3 insertions, 3 deletions

diff --git a/index.html b/index.html
index 5a57f30..3859b6b 100644
--- a/index.html
+++ b/index.html
@@ -1151,7 +1151,7 @@
                 Mìng Lìng
             </a>
             <div class="nav-links">
-                <a href="docs/doc.html">Docs</a>
+                <a href="docs/index.html">Docs</a>
                 <a href="docs/examples.html">Examples</a>
                 <a
                     href="https://github.com/mingling-rs/mingling"
@@ -1198,7 +1198,7 @@
                 </p>
 
                 <div class="cta-row">
-                    <a href="docs/doc.html" class="btn-primary"> Documents </a>
+                    <a href="docs/index.html" class="btn-primary"> Documents </a>
                     <a
                         href="https://github.com/mingling-rs/mingling"
                         target="_blank"
@@ -1928,7 +1928,7 @@ mling proj-init</code></pre>
                 </p>
                 <p><a href="docs/examples.html">Examples</a></p>
                 <p>
-                    <a href="docs/doc.html#/" target="_blank">Help Doc</a>
+                    <a href="docs/index.html#/" target="_blank">Help Doc</a>
                 </p>
                 <p>
                     <a href="docs/_zh_CN/index.html#/" target="_blank"