diff --git a/exec/jsdocs.js b/exec/jsdocs.js
index 148c99c38ecee73b922bcef78af3ffd67b00975f..7bb7c1ddb772ad9a265bb8968da2aea79da4f083 100644
--- a/exec/jsdocs.js
+++ b/exec/jsdocs.js
@@ -161,13 +161,15 @@ function document_properties(name, obj)
 function document_object(name, obj, type)
 {
 	object_header(name,obj,type);
-	f.writeln("<ul>");
-	document_methods(name,obj);
-	object_depth++;
-	document_properties(name,obj);
-	object_depth--;
-	f.writeln("</ul>");
-	table_close();
+	if(obj._dont_document==undefined) {
+		f.writeln("<ul>");
+		document_methods(name,obj);
+		object_depth++;
+		document_properties(name,obj);
+		object_depth--;
+		f.writeln("</ul>");
+		table_close();
+	}
 }
 
 // open HTML output file