From e0698d365ed8697e11f1c69df86a5e0247f110fd Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 18 Feb 2017 07:18:53 +0100 Subject: Doc: fix sphinx diagnostic about duplicate option. --- doc/Invoking_GHDL.rst | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'doc') 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. -- cgit v1.2.3