diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-02-18 07:18:53 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-02-18 07:18:53 +0100 |
| commit | e0698d365ed8697e11f1c69df86a5e0247f110fd (patch) | |
| tree | f4f813d8a4dc36bb8dacc33c911237b2b3184ab9 /doc | |
| parent | af2de88ff6e8c0520e102c73029bbee2dfe5826f (diff) | |
| download | ghdl-e0698d365ed8697e11f1c69df86a5e0247f110fd.tar.gz ghdl-e0698d365ed8697e11f1c69df86a5e0247f110fd.tar.bz2 ghdl-e0698d365ed8697e11f1c69df86a5e0247f110fd.zip | |
Doc: fix sphinx diagnostic about duplicate option.
Diffstat (limited to 'doc')
| -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. |