docs/tutorial/deploy.sh
author Pulkit Goyal <7895pulkit@gmail.com>
Fri, 23 Mar 2018 17:49:26 +0530
changeset 3624 6756f2a85f5b
parent 3376 aad37ffd7d58
permissions -rwxr-xr-x
evolve: make sure bookmarks are moved after phase-divergence resolution This patch adds logic to move bookmarks from the rebased node to the phase-divergence resolved node.

mkdir -p html

cp index.html html/
cp *.css html/
cp *.js html/
cp -R img html/
cp -R graphviz-images/ html/

netlify deploy