From d96f1c2eea2ccb5ab8a3ac8b4111e6938480623c Mon Sep 17 00:00:00 2001
From: Nelson Tavares de Sousa <stu103017@mail.uni-kiel.de>
Date: Mon, 21 Sep 2015 16:20:21 +0200
Subject: [PATCH] workaround for a neater toc in download.html

---
 src/site/site.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/site/site.xml b/src/site/site.xml
index 224abcbc..1126f4c1 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -137,7 +137,7 @@
 				</release>
 				<download>
 					<toc>top</toc>
-					<tocTopMax>4</tocTopMax>
+					<tocTopMax>5</tocTopMax>
 				</download>
 				<contribute>
 					<highlightJs>false</highlightJs>
-- 
GitLab