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.
---
 docs/dev/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/dev/index.html')

diff --git a/docs/dev/index.html b/docs/dev/index.html
index 1bfb5c5..327e397 100644
--- a/docs/dev/index.html
+++ b/docs/dev/index.html
@@ -125,7 +125,7 @@
                 "
                 >🌓 Theme</a
             >
-            <a href="../doc.html">📖 Helpdoc</a>
+            <a href="../index.html">📖 Helpdoc</a>
         </nav>
 
         <div id="app"></div>
-- 
cgit