docs/tutorial/deploy.sh
changeset 3376 aad37ffd7d58
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/tutorial/deploy.sh	Mon Jan 08 11:46:53 2018 +0100
@@ -0,0 +1,9 @@
+mkdir -p html
+
+cp index.html html/
+cp *.css html/
+cp *.js html/
+cp -R img html/
+cp -R graphviz-images/ html/
+
+netlify deploy