diff --git a/docs/cmdline.html b/docs/cmdline.html
index 550aa721b..734e2030e 100644
--- a/docs/cmdline.html
+++ b/docs/cmdline.html
@@ -65,6 +65,10 @@ This command line tool is included in the checkstyle distribution.
checkstyle.allow.protected
Indicates whether to allow protected data. Defaults to "no".
+
+
+
checkstyle.allow.tabs
+
Indicates whether to allow tabs. Defaults to "no".