diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html index e71c24c5998..b205209794a 100644 --- a/docs/CommandGuide/opt.html +++ b/docs/CommandGuide/opt.html @@ -90,7 +90,7 @@ writes its output to the standard output.
  • -load <plugin.so>
    - Load the dynamic object plugin.so. This object should register new + Load the dynamic object <plugin.so>. This object should register new optimization passes. Once loaded, the object will add new command line options to enable various optimizations. To see the new complete list of optimizations, use the -help and -load options together: