From 7be06617e59f89a98af93c1bba9e9a876ec70c92 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 3 Aug 2018 18:09:20 -0400 Subject: [PATCH] Switch to live website. --- website/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/website/Makefile b/website/Makefile index 81db524..04329cd 100644 --- a/website/Makefile +++ b/website/Makefile @@ -1,4 +1,5 @@ -DEPLOY=jackknife:/home/justhsu/html/staging/cs839/ +DEPLOY=driftless:/u/j/u/justhsu/public/html-s/teaching/current/cs839 +# DEPLOY=jackknife:/home/justhsu/html/staging/cs839/ build: mkdocs build