diff --git a/docs/pages/pmd/userdocs/cli_reference.md b/docs/pages/pmd/userdocs/cli_reference.md index 71146471a5..c98dc1d1c1 100644 --- a/docs/pages/pmd/userdocs/cli_reference.md +++ b/docs/pages/pmd/userdocs/cli_reference.md @@ -79,6 +79,11 @@ The tool comes with a rather extensive help text, simply running with `-help`! description="Path to file containing a comma delimited list of files to analyze. If this is given, then you don't need to provide `-dir`." %} + {% include custom/cli_option_row.html options="-ignorefilelist" + option_arg="files" + description="Path to file containing a comma delimited list of files to ignore. + This list will override any files in the filelist." + %} {% include custom/cli_option_row.html options="-help,-h,-H" description="Display help on usage." default="false"