Add gh-pages build step.

2015-01-01 20:58:36 -08:00
parent b876f4a51a
commit d65bd1382b
2 changed files with 8 additions and 0 deletions
@@ -17,3 +17,7 @@ scratch.wren

 # The baseline file is machine-specific, so doesn't get checked in.
 benchmark/baseline.txt
+
+# built docs get copied here, which is presumed to be a separate checkout of
+# the repo so they can be pushed to GitHub Pages.
+gh-pages/