From d65bd1382b25b04adeeca77d66537901820bf905 Mon Sep 17 00:00:00 2001
From: Bob Nystrom <robert@stuffwithstuff.com>
Date: Thu, 1 Jan 2015 20:58:36 -0800
Subject: [PATCH] Add gh-pages build step.

---
 .gitignore | 4 ++++
 Makefile   | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/.gitignore b/.gitignore
index 540035ce..82246d82 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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/
\ No newline at end of file
diff --git a/Makefile b/Makefile
index f4e5202c..36f6f402 100644
--- a/Makefile
+++ b/Makefile
@@ -60,3 +60,7 @@ docs:
 # Continuously generate the Wren site.
 watchdocs:
 	@./script/generate_docs.py --watch
+
+# Build the docs and copy them to a local "gh-pages" directory.
+gh-pages: docs
+	cp -r build/docs/. gh-pages