From ccc32096eac98291d17ef269b36750fab572eda4 Mon Sep 17 00:00:00 2001
From: Henry <akhenry@gmail.com>
Date: Tue, 16 Aug 2016 18:56:38 -0700
Subject: [PATCH] [Documentation] Updated docs build script to push
 documentation to the correct directory on the website

---
 build-docs.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-docs.sh b/build-docs.sh
index ca7dc97c2e..73d387bcff 100755
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -45,8 +45,8 @@ npm run docs
 
 echo "git clone $REPOSITORY_URL website"
 git clone $REPOSITORY_URL website || exit 1
-echo "cp -r $OUTPUT_DIRECTORY $WEBSITE_DIRECTORY/docs"
-cp -r $OUTPUT_DIRECTORY $WEBSITE_DIRECTORY/docs
+echo "cp -r $OUTPUT_DIRECTORY $WEBSITE_DIRECTORY"
+cp -r $OUTPUT_DIRECTORY $WEBSITE_DIRECTORY
 echo "cd $WEBSITE_DIRECTORY"
 cd $WEBSITE_DIRECTORY || exit 1