diff options
Diffstat (limited to 'docs/UsersManual.html')
| -rw-r--r-- | docs/UsersManual.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/UsersManual.html b/docs/UsersManual.html index 26ee38280a..779e4028f8 100644 --- a/docs/UsersManual.html +++ b/docs/UsersManual.html @@ -535,8 +535,6 @@ it:</p> <li>A categorization of the diagnostic as a note, warning, error, or fatal error.</li> <li>A text string that describes what the problem is.</li> -<li>An option that indicates whether to print the diagnostic name [<a - href="#opt_fdiagnostics-show-name">-fdiagnostics-show-name</a>].</li> <li>An option that indicates how to control the diagnostic (for diagnostics that support it) [<a href="#opt_fdiagnostics-show-option">-fdiagnostics-show-option</a>].</li> |