From 52e189c46adb621e7cac565373dc7405c8f0c28c Mon Sep 17 00:00:00 2001
From: Frank Taillandier <frank.taillandier@gmail.com>
Date: Thu, 3 Nov 2016 14:54:11 +0100
Subject: [PATCH] update source in script/proof

---
 script/proof | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/proof b/script/proof
index 95cffc0b..8e7e899d 100755
--- a/script/proof
+++ b/script/proof
@@ -16,7 +16,7 @@ INGORE_HREFS=$(ruby -e 'puts %w{
   eduardoboucas.com
   github.com\/matrix9180
 }.map{|h| "/#{h}/"}.join(",")')
-SOURCE="site"
+SOURCE="docs"
 DESTINATION="_site"
 
 export PROOF=true