diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-07-10 16:32:47 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-07-10 16:32:47 +0800 |
| commit | d20a12d96f61820ee916a8686d070512aae1c78a (patch) | |
| tree | 06e84bc34122103e832ca426301e85ab56525e19 /docs/dev | |
| parent | abbabd9c55daa79b07cd9ba81037568958794a91 (diff) | |
docs(dev): Add emoji icons and restructure sidebar layout
Diffstat (limited to 'docs/dev')
| -rw-r--r-- | docs/dev/README.md | 10 | ||||
| -rw-r--r-- | docs/dev/_sidebar.md | 10 | ||||
| -rw-r--r-- | docs/dev/pages/abouts/.name | 2 | ||||
| -rw-r--r-- | docs/dev/pages/issues/.name | 2 | ||||
| -rw-r--r-- | docs/dev/pages/templates/.name | 2 |
5 files changed, 16 insertions, 10 deletions
diff --git a/docs/dev/README.md b/docs/dev/README.md index a2eede9..9289fcf 100644 --- a/docs/dev/README.md +++ b/docs/dev/README.md @@ -4,7 +4,11 @@ Internal development documentation for the <b>Mingling</b> codebase — design notes, issue discussions, and architectural decisions. </p> -This site is separate from the [main helpdoc](https://mingling-rs.github.io/mingling/docs/doc.html). The helpdoc is user-facing: tutorials, feature guides, and how-to content for developers _using_ Mingling to build CLI applications. This dev-docs site is for developers _working on_ Mingling itself — understanding internal mechanisms, tracking unresolved problems, and recording design rationale. +This site is separate from the [Helpdoc](https://mingling-rs.github.io/mingling/docs/doc.html). + +The helpdoc is user-facing: `tutorials`, `feature guides`, and `how-to content` for developers _using_ Mingling to build CLI applications. + +This dev-docs site is for developers **working on** Mingling itself — understanding internal mechanisms, tracking unresolved problems, and recording design rationale. ## What's here @@ -12,4 +16,6 @@ This site is separate from the [main helpdoc](https://mingling-rs.github.io/ming ## How this is different from GitHub Issues -Mingling is hosted on [GitHub](https://github.com/mingling-rs/mingling), and the [Issues page](https://github.com/mingling-rs/mingling/issues) there is primarily for discussion. In contrast, an issue in this document exists only when it is being planned or actively worked on. +Mingling is hosted on [GitHub](https://github.com/mingling-rs/mingling), and the [Issues page](https://github.com/mingling-rs/mingling/issues) there is primarily for discussion. + +In contrast, an issue in this document exists only when it is being planned or actively worked on. diff --git a/docs/dev/_sidebar.md b/docs/dev/_sidebar.md index 0c49615..5182676 100644 --- a/docs/dev/_sidebar.md +++ b/docs/dev/_sidebar.md @@ -1,10 +1,10 @@ - [Welcome!](README) -* Abouts - * [AI Translation Rule](pages/abouts/ai-translation-rule) - * [Markdown Code Verification System](pages/abouts/code-verify-system) -* Issues +* ❓ Issues * [Remove r_print! and r_println! Macros](pages/issues/remove-r-print-macro) * [The Mod Pathfinder](pages/issues/the-mod-pathfinder) * [Some Situations Where You'd Be Like "Shit!"](pages/issues/the-shit-time) -* Templates +* 💡 Abouts + * [AI Translation Rule](pages/abouts/ai-translation-rule) + * [Markdown Code Verification System](pages/abouts/code-verify-system) +* 📄 Templates * [Helpdoc Template](pages/templates/doc) diff --git a/docs/dev/pages/abouts/.name b/docs/dev/pages/abouts/.name index d5a4a33..f2b936c 100644 --- a/docs/dev/pages/abouts/.name +++ b/docs/dev/pages/abouts/.name @@ -1 +1 @@ -Abouts +💡 Abouts diff --git a/docs/dev/pages/issues/.name b/docs/dev/pages/issues/.name index f99478d..b207fb4 100644 --- a/docs/dev/pages/issues/.name +++ b/docs/dev/pages/issues/.name @@ -1 +1 @@ -Issues +❓ Issues diff --git a/docs/dev/pages/templates/.name b/docs/dev/pages/templates/.name index 1e1408c..9e73889 100644 --- a/docs/dev/pages/templates/.name +++ b/docs/dev/pages/templates/.name @@ -1 +1 @@ -Templates +📄 Templates |
