From f8d0672dfa4b37c14bc8edcc72665b9cb5a2bba9 Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Thu, 18 May 2017 19:04:26 +0200
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 6576dc2..8a246e8 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Repository holding the sources of the KWARC.info website
 
-** Building this page can take up to two minutes. This is normal and to be expected. **
+**Building this page can take up to five minutes. This is normal and to be expected.**
 
 Note for authors: When editing some text, please do not hard wrap existing lines. 
 This plays very bad with diffs, in particular an entire paragraph shows up as changed even though it might just be a single line. 
-- 
GitLab