GitHub/mermaid
1
0
Fork 0
mirror of https://github.com/mermaid-js/mermaid.git synced 2025-01-14 06:43:25 +08:00
Code Issues Projects Releases Wiki Activity

fix: clone if editor doesnt exist in script

Browse Source
This commit is contained in:
Yash Singh 2024-07-16 18:24:04 -07:00
parent 38a7a47d11
commit ab1a2ec411
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/editor.bash
View File

@ -19,6 +19,9 @@ pnpm build:esbuild
pnpm build:types
# Clone the Mermaid Live Editor repository
if [ ! -d "mermaid-live-editor" ]; then
git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
fi
cd mermaid-live-editor
git clean -xdf
rm -rf docs/