diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html index 6f217db4d0e..166cca1bade 100644 --- a/docs/CommandGuide/index.html +++ b/docs/CommandGuide/index.html @@ -76,25 +76,6 @@ options) arguments to the tool you are interested in.

- -

- C and C++ Front-end Commands -

- - -
- - -
-

Debugging Tools