diff options
| -rw-r--r-- | doc/Invoking_GHDL.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/Invoking_GHDL.rst b/doc/Invoking_GHDL.rst index f75345f2f..b435f292e 100644 --- a/doc/Invoking_GHDL.rst +++ b/doc/Invoking_GHDL.rst @@ -514,12 +514,14 @@ GCC manual for details on GCC options. GHDL Diagnostics Control ======================== -.. option:: -f[no-]color-diagnostics +.. option:: -fcolor-diagnostics +.. option:: -fno-color-diagnostics Control whether diagnostic messages are displayed in color. The default is on when the standard output is a terminal. -.. option:: -f[no-]diagnostics-show-option +.. option:: -fdiagnostics-show-option +.. option:: -fno-diagnostics-show-option Control whether the warning option is displayed at the end of warning messages, so that user can easily know how to disable it. |