1 files changed, 2 insertions, 2 deletions
diff --git a/docs/docs.rtems.org/static/rtems/js/catalogue.js b/docs/docs.rtems.org/static/rtems/js/catalogue.js
index d0ac089..1734ab2 100644
--- a/docs/docs.rtems.org/static/rtems/js/catalogue.js
+++ b/docs/docs.rtems.org/static/rtems/js/catalogue.js
@@ -102,8 +102,8 @@ function paintCatalogue(xml, path, tag, doxygen, show) {
     panel_handlers(tag, id, show);
 }
 
-function loadCatalogue(catalogue, path, tag, show) {
+function loadCatalogue(catalogue, path, tag, doxygen, show) {
     var f = $.get(catalogue, function(xml) {
-	paintCatalogue(xml, path, tag, show);
+	paintCatalogue(xml, path, tag, doxygen, show);
     }, 'xml');
 }