From 5114da464621d60d45f3bca714718f236f3bdbdc Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Mon, 5 Jun 2017 14:10:19 +0200
Subject: [PATCH] Update README

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 8a246e8..dae828d 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 five minutes. This is normal and to be expected.**
+**Building this page can take up to 30 seconds. 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. 
@@ -80,7 +80,8 @@ It consists of a set of items, that are defined by the following keys:
 2. An item specifies the `items` key. Here the items are used accordingly. 
 3. An item specifies both the `folder` and `items` keys. The items for both cases are automatically merged. 
 
-Because submenus are not clickable, the `url` for subfolders is ignored. 
+Because submenus are not clickable, the `url` for submenus is ignored. 
+Furthermore, if these are mixed between folders and static items, the folders will always show first. 
 
 ```yaml
 # A listing of the folder submenu
-- 
GitLab