workaround for a neater toc in download.html

d96f1c2e · Nelson Tavares de Sousa · 8ba50099 · d96f1c2e
Commit d96f1c2e authored 9 years ago by Nelson Tavares de Sousa
--- 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>