diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html index 8ef0bf5f225..93eb2560534 100644 --- a/docs/CommandGuide/index.html +++ b/docs/CommandGuide/index.html @@ -96,12 +96,6 @@ options) arguments to the tool you are interested in.