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.
---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'index.html')

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"
-- 
cgit