updated versions and datatypes

mbmcgarry · Dec 3, 2014 · 2a3cb26 · 2a3cb26
1 parent 55bc0bf
commit 2a3cb26
Show file tree

Hide file tree

Showing 5 changed files with 779 additions and 520 deletions.
diff --git a/Makefile b/Makefile
@@ -56,6 +56,7 @@ gh-preview html:
 	sed -i.bak 's/  if (state == "collapsed"){/  if (typeof state === "undefined") {\n	var state = "uncollapsed";\n  };\n  if (state == "collapsed"){/' ./gh-build/_static/cloud.js
 	rm ./gh-build/_static/*.bak
 	cp $(BUILDDIR)/cep/cep0.html $(BUILDDIR)/cep/index.html
+	cp source/arche/dbtypes.js $(BUILDDIR)/arche/
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)."