diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-19 05:54:00 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-19 06:15:20 +0800 |
| commit | ec9edc294fd5e7e29977fc7b0e6fb953422bc0e2 (patch) | |
| tree | bbf89ef4457b8de8a8a9bca5668045d612d27572 /docs/doc.html | |
| parent | 06dfc27194c11e1d1033c292c759a1c5d82e780b (diff) | |
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.
Diffstat (limited to 'docs/doc.html')
| -rw-r--r-- | docs/doc.html | 111 |
1 files changed, 0 insertions, 111 deletions
diff --git a/docs/doc.html b/docs/doc.html deleted file mode 100644 index a63fdd3..0000000 --- a/docs/doc.html +++ /dev/null @@ -1,111 +0,0 @@ -<!doctype html> -<html lang="en"> - <head> - <meta charset="utf-8" /> - <meta - name="viewport" - content="width=device-width, initial-scale=1, minimum-scale=1.0, shrink-to-fit=no, viewport-fit=cover" - /> - - <title>Mingling Helpdoc</title> - <meta - name="Mingling Helpdoc" - content="Quick start with Mingling and build your command-line program!" - /> - - <link rel="preconnect" href="https://fonts.googleapis.com" /> - <link rel="icon" type="image/png" href="res/favicon_small.png" /> - <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin /> - <link - href="https://fonts.googleapis.com/css2?family=Noto+Serif+SC:wght@400;600;700&family=JetBrains+Mono:wght@400;600&display=swap" - rel="stylesheet" - /> - - <link rel="stylesheet" href="css/light.css" /> - <link id="dark-style" rel="stylesheet" href="css/dark.css" disabled /> - <link rel="stylesheet" href="css/doc-nav.css" /> - </head> - - <body> - <nav> - <a - href="#" - onclick=" - toggleTheme(); - return false; - " - >🌗 Theme</a - > - <a href="_zh_CN/index.html"><b>🇨🇳 CN Docs</b></a> - </nav> - <div id="app"></div> - - <script> - window.$docsify = { - name: "Mingling Helpdoc", - repo: "true", - corner: { - url: "https://github.com/mingling-rs/mingling", - icon: "github", - }, - auto2top: true, - loadSidebar: true, - maxLevel: 0, - subMaxLevel: 0, - search: { - placeholder: "Search", - noData: "No matches found.", - depth: 2, - }, - plugins: [ - function (hook) { - hook.beforeEach(function (content) { - return content - .split("\n") - .filter(function (line) { - return !line.startsWith("@@@"); - }) - .join("\n"); - }); - }, - [ - "flexible-alerts", - { - style: "flat", - labels: { - NOTE: "Note", - TIP: "Tip", - IMPORTANT: "Important", - WARNING: "Warning", - CAUTION: "Caution", - }, - }, - ], - ], - }; - </script> - - <!--<script src="https://cdn.jsdelivr.net/npm/docsify@4/lib/docsify.min.js"></script>--> - <script src="scripts/docsify.min.js"></script> - - <!--<script src="https://cdn.jsdelivr.net/npm/docsify@4/lib/plugins/zoom-image.min.js"></script> - <script src="https://cdn.jsdelivr.net/npm/docsify@4/lib/plugins/search.js"></script> - <script src="https://cdn.jsdelivr.net/npm/prismjs@1/components/prism-bash.min.js"></script> - <script src="https://cdn.jsdelivr.net/npm/prismjs@1/components/prism-toml.min.js"></script> - <script src="https://cdn.jsdelivr.net/npm/prismjs@1/components/prism-rust.js"></script> - <script src="https://cdn.jsdelivr.net/npm/docsify-corner/dist/docsify-corner.js"></script> - <script src="https://unpkg.com/docsify-plugin-flexible-alerts"></script>--> - <script src="scripts/zoom-image.min.js"></script> - <script src="scripts/search.js"></script> - <script src="scripts/prism-bash.min.js"></script> - <script src="scripts/prism-toml.min.js"></script> - <script src="scripts/prism-rust.js"></script> - <script src="scripts/docsify-corner.js"></script> - <script src="scripts/docsify-plugin-flexible-alerts.js"></script> - <script src="scripts/docsify-plugin-prevnext.js"></script> - <script src="scripts/mermaid.min.js"></script> - <script src="scripts/docsify-mermaid.js"></script> - - <script src="scripts/day-night-switch.js"></script> - </body> -</html> |