mirror of
				https://github.com/mermaid-js/mermaid.git
				synced 2025-11-04 04:44:08 +01:00 
			
		
		
		
	Merge branch 'develop' into feat/4746_add_er_alias
This commit is contained in:
		@@ -1,28 +1,20 @@
 | 
			
		||||
#!/usr/bin/env bash
 | 
			
		||||
 | 
			
		||||
set -euxo pipefail
 | 
			
		||||
# We have to use npm instead of yarn because it causes trouble in netlify
 | 
			
		||||
pnpm build
 | 
			
		||||
 | 
			
		||||
# Link local mermaid to npm
 | 
			
		||||
pushd packages/mermaid
 | 
			
		||||
npm link
 | 
			
		||||
popd
 | 
			
		||||
# Clone the Mermaid Live Editor repository
 | 
			
		||||
rm -rf mermaid-live-editor
 | 
			
		||||
git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
 | 
			
		||||
 | 
			
		||||
# Clone or update the Mermaid Live Editor repository
 | 
			
		||||
if [ ! -d "mermaid-live-editor" ]; then
 | 
			
		||||
  git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
 | 
			
		||||
  cd mermaid-live-editor
 | 
			
		||||
else
 | 
			
		||||
  cd mermaid-live-editor
 | 
			
		||||
  git pull
 | 
			
		||||
fi
 | 
			
		||||
cd mermaid-live-editor
 | 
			
		||||
 | 
			
		||||
# We have to use npm instead of yarn because it causes trouble in netlify
 | 
			
		||||
# Install dependencies
 | 
			
		||||
npm install
 | 
			
		||||
 | 
			
		||||
# Link local mermaid to live editor
 | 
			
		||||
npm link mermaid
 | 
			
		||||
 | 
			
		||||
# Install dependencies
 | 
			
		||||
npm install --force
 | 
			
		||||
npm link ../packages/mermaid     
 | 
			
		||||
 | 
			
		||||
# Force Build the site
 | 
			
		||||
npm run build -- --force
 | 
			
		||||
 
 | 
			
		||||
		Reference in New Issue
	
	Block a user