From e2a72282a1c4ba4cb4994132880ddd0686d22d96 Mon Sep 17 00:00:00 2001
From: Bob Nystrom <robert@stuffwithstuff.com>
Date: Sat, 14 Mar 2015 12:19:03 -0700
Subject: [PATCH] Move gh-pages directory under build/.

---
 .gitignore | 4 ----
 Makefile   | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index a422a329..2e3fcf88 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,7 +17,3 @@ 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/
diff --git a/Makefile b/Makefile
index dd210eb5..4155985f 100644
--- a/Makefile
+++ b/Makefile
@@ -51,6 +51,6 @@ watchdocs:
 
 # Build the docs and copy them to a local "gh-pages" directory.
 gh-pages: docs
-	@ cp -r build/docs/. gh-pages
+	@ cp -r build/docs/. build/gh-pages
 
 .PHONY: debug release all clean test builtin docs watchdocs gh-pages