update #4455, regenerate commands' docs and update make_docs script (#4586)

* feat: update #4455, regenerate commands' docs * chore: update make_docs script
2025-08-10 02:27:50 +02:00 · 2022-02-22 01:26:00 +08:00
parent 2e167ea0c6
commit c0a1d18e3d
331 changed files with 234 additions and 328 deletions
--- a/docs/commands/to_html.md
+++ b/docs/commands/to_html.md
@ -35,4 +35,3 @@ Optionally, output the string with a dark background
 ```shell
 > [[foo bar]; [1 2]] | to html --dark
 ```
-