diff --git a/docs/cmdline.html b/docs/cmdline.html
index 60a9e9119..70008b76a 100644
--- a/docs/cmdline.html
+++ b/docs/cmdline.html
@@ -129,7 +129,6 @@ This command line tool is included in the checkstyle distribution.
checkstyle.require.packagehtml
Specifies whether to require that package documentation is available. Defaults to "false".