diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html index fc48f7ad62d..89d92e64f40 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -29,7 +29,9 @@ specified, bugpoint enters "code generator debugging mode".