diff --git a/docs/gendocs.js b/docs/gendocs.js
index 90f6a2eef9..2fcda7214e 100644
--- a/docs/gendocs.js
+++ b/docs/gendocs.js
@@ -21,7 +21,7 @@
  *****************************************************************************/
 
 /*global require,process,GLOBAL*/
-/*jslint nomen: true*/
+/*jslint nomen: false */
 
 
 // Usage: