From 70c78654c6a6daef5522b9bb01cc7848607a33d4 Mon Sep 17 00:00:00 2001 From: 魏曹先生 <1992414357@qq.com> Date: Wed, 13 May 2026 22:28:11 +0800 Subject: Add scripts for building documentation and update docs --- dev_tools/scripts/doc.sh | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 dev_tools/scripts/doc.sh (limited to 'dev_tools/scripts/doc.sh') diff --git a/dev_tools/scripts/doc.sh b/dev_tools/scripts/doc.sh new file mode 100755 index 0000000..248d810 --- /dev/null +++ b/dev_tools/scripts/doc.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +cargo doc --manifest-path ./mingling/Cargo.toml --no-deps --features builds,general_renderer,repl,comp,parser --open -- cgit