add usage for --no-extensions

diff --git a/maintenance/mwdocgen.php b/maintenance/mwdocgen.php
index c68e426..0c3b262 100644 (file)
--- a/maintenance/mwdocgen.php
+++ b/maintenance/mwdocgen.php
@@ -221,6 +221,7 @@ Commands:
     --maintenance   Process only files in maintenance/ dir
     --skins         Process only files in skins/ dir
     --file <file>   Process only the given file
+    --no-extensions Process everything but extensions directorys
 
 If no command is given, you will be prompted.