From 24576decaa7eaa1fe59b1f3e010d47c75bb40865 Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Fri, 13 Jan 2017 16:28:30 +1100
Subject: Fix the catalogue JS <div> tag.

---
 docs.rtems.org/static/rtems/js/catalogue.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs.rtems.org/static/rtems/js/catalogue.js b/docs.rtems.org/static/rtems/js/catalogue.js
index 9b9be62..f73fe76 100644
--- a/docs.rtems.org/static/rtems/js/catalogue.js
+++ b/docs.rtems.org/static/rtems/js/catalogue.js
@@ -33,7 +33,7 @@ function catalogueFooter() {
 	'    </tr>' +
         '   </tbody>' +
 	'  </table>' +
-	' </dev/>';
+	' </div/>';
 }
 
 function panel_handlers(tag, id, show) {
-- 
cgit v1.2.3