copy the latest version of skulpt to the site and

reference that from the site
alanfidler · Aug 21, 2013 · 6e7c087 · 6e7c087
1 parent a1afbc8
commit 6e7c087
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/dist-update.sh b/dist-update.sh
@@ -52,6 +52,9 @@ if [[ "$TRAVIS_PULL_REQUEST" == "false" && "$TRAVIS_TEST_RESULT" == "0" ]]; then
     mkdir -p ../doc/static/dist
     mv *.zip ../doc/static/dist/
     mv *.tar.gz ../doc/static/dist/
+    #update skulpt for the site.
+    cp skulpt.min.js ../doc/static/
+    cp skulpt-stdlib.js ../doc/static/
     cp *.js ../../dist/
     cd ..
     cp bower.json ../dist

diff --git a/doc/index.html b/doc/index.html
@@ -12,8 +12,8 @@
     <script src="static/repl.js" type="text/javascript"></script>
     <script src="static/python.js" type="text/javascript"></script>
     <script src="static/env/editor.js" type="text/javascript"></script>
-    <script src="static/skulpt.js" type="text/javascript"></script>
-    <script src="static/builtin.js" type="text/javascript"></script>
+    <script src="static/skulpt.min.js" type="text/javascript"></script>
+    <script src="static/skulpt-stdlib.js" type="text/javascript"></script>
 </head>
 <body>