From ffca2bcfe4d3bcb02c4e90aecb47e024e4393451 Mon Sep 17 00:00:00 2001 From: Jon Moroney Date: Thu, 25 Oct 2018 10:28:22 -0700 Subject: [PATCH] Add cli reference to ignore list --- docs/pages/pmd/userdocs/cli_reference.md | 5 +++++ 1 file changed, 5 insertions(+) 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"