From 933fe4b9aebe9d8a9935196f07ff3a05b2664f7e Mon Sep 17 00:00:00 2001
From: martimiz <martine@balbus.nl>
Date: Fri, 9 Nov 2012 12:44:47 +0100
Subject: [PATCH] minor: added missing ; in javascript

---
 javascript/DocumentationViewer.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javascript/DocumentationViewer.js b/javascript/DocumentationViewer.js
index 3ca4a4d..d87c198 100755
--- a/javascript/DocumentationViewer.js
+++ b/javascript/DocumentationViewer.js
@@ -58,7 +58,7 @@
 		 */
 		if ($("#submenu").length > 0) {
 			var submenuTitle = $("#sibling-pages").find('a.current, a.section').eq(0).text();
-			var submenu = '<div class = "sidebar-box"><h4>' + submenuTitle + '</h4><ul>'
+			var submenu = '<div class = "sidebar-box"><h4>' + submenuTitle + '</h4><ul>';
 			submenu += $("#submenu").html();
 			submenu += '</ul></div>';
 			$("#sidebar-column").append(submenu);