From b4215617815b43fe17023d6888931d43de183caf Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Fri, 12 Dec 2014 01:23:39 -0800
Subject: [PATCH] Fix push typo

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index cc27c7e95..d21f2468d 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -19,7 +19,7 @@ Vagrant.configure("2") do |config|
   end
 
   config.push.define "docs", strategy: "local-exec" do |push|
-    push.script = "scripts/website_push_www.sh"
+    push.script = "scripts/website_push_docs.sh"
   end
 end