diff options
Diffstat (limited to 'docs/CommandGuide/opt.rst')
-rw-r--r-- | docs/CommandGuide/opt.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/CommandGuide/opt.rst b/docs/CommandGuide/opt.rst index 3fed684555..ad5b62cf6e 100644 --- a/docs/CommandGuide/opt.rst +++ b/docs/CommandGuide/opt.rst @@ -99,10 +99,6 @@ OPTIONS :option:`-std-compile-opts` and :option:`-verify-each` can quickly track down this kind of problem. -.. option:: -profile-info-file <filename> - - Specify the name of the file loaded by the ``-profile-loader`` option. - .. option:: -stats Print statistics. |