diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html index 74d7e535087..5a48af81a29 100644 --- a/docs/CommandGuide/index.html +++ b/docs/CommandGuide/index.html @@ -116,7 +116,7 @@ options) arguments to the tool you are interested in.