From 33cc4e7a802fe9c1dc2028cba29a46c2bf8463fa Mon Sep 17 00:00:00 2001
From: Juho Teperi <juho.teperi@iki.fi>
Date: Thu, 17 May 2018 08:59:18 +0300
Subject: [PATCH] Try fixing docs/master build

---
 build-example-site.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-example-site.sh b/build-example-site.sh
index da7c73a..5da8344 100755
--- a/build-example-site.sh
+++ b/build-example-site.sh
@@ -28,6 +28,7 @@ test ! -e tmp/js/out
 cd tmp
 
 # Restore files not created by this script
+git add docs/master/
 git checkout -- README.md docs/
 git add .
 git commit -m "Built site from $SHA"