diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html index 5c1ee22995f..b311120a808 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -175,7 +175,7 @@ non-obvious ways. Here are some hints and tips:
part of the -args option, not as options to bugpoint itself.
-