diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html index 1ed21ce863c..a3f0c34a6a9 100644 --- a/docs/CommandGuide/index.html +++ b/docs/CommandGuide/index.html @@ -66,12 +66,11 @@ options) arguments to the tool you are interested in.