From 38a7a47d1142ecfe01947072f19b7cef121063f2 Mon Sep 17 00:00:00 2001 From: Yash Singh Date: Tue, 16 Jul 2024 13:26:20 -0700 Subject: [PATCH] chore: push better live editor script alongside --- scripts/editor.bash | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/scripts/editor.bash b/scripts/editor.bash index 381012d30..7c7234870 100755 --- a/scripts/editor.bash +++ b/scripts/editor.bash @@ -19,10 +19,9 @@ pnpm build:esbuild pnpm build:types # Clone the Mermaid Live Editor repository -rm -rf mermaid-live-editor -git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git - cd mermaid-live-editor +git clean -xdf +rm -rf docs/ # We have to use npm instead of yarn because it causes trouble in netlify # Install dependencies