From e6eb6581b6f3cba2d554dbd96735c366ab1e12b6 Mon Sep 17 00:00:00 2001
From: Nelson Tavares de Sousa <stu103017@mail.uni-kiel.de>
Date: Fri, 2 Oct 2015 12:43:45 +0200
Subject: [PATCH] added entry for the error code page

---
 src/site/site.xml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/site/site.xml b/src/site/site.xml
index 4995fc43..7271f1e3 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -53,8 +53,7 @@
 			<item name="Wiki" href="wiki/home.html" />
 		</links>
 		<menu name="Documentation">
-			<item name="JavaDoc"
-				href="stabledocs/index.html" />
+			<item name="JavaDoc" href="stabledocs/index.html" />
 			<item name="Release Notes" href="changes-report.html" />
 			<item name="Project Dependencies" href="dependencies.html" />
 			<item name="License" href="license.html" />
@@ -151,6 +150,10 @@
 					<tocTopMax>4</tocTopMax>
 					<shortTitle>Wiki</shortTitle>
 				</wiki-home>
+				<wiki-errors>
+					<toc>sidebar</toc>
+					<tocTopMax>4</tocTopMax>
+				</wiki-errors>
 			</pages>
 		</reflowSkin>
 	</custom>
-- 
GitLab