From 2ef6e73ecb328667ea5fc88bca97a5a2e8a95a99 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Tue, 14 Jul 2020 17:16:29 +0100
Subject: [PATCH] Exclude plfa.github.io-web-* folders from Jekyll build.

---
 _config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_config.yml b/_config.yml
index f0a4ac89..81668ccd 100644
--- a/_config.yml
+++ b/_config.yml
@@ -60,6 +60,7 @@ exclude:
   - "papers/"
   - "slides/"
   - "vendor/"
+  - "plfa.github.io-web-*/"
   - "*.agdai"
   - "*.agda-lib"
   - "*.lagda.md"