diff options
Diffstat (limited to 'doc/getting')
| -rw-r--r-- | doc/getting/index.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/getting/index.rst b/doc/getting/index.rst index 591c4d95e..9ecde4fe7 100644 --- a/doc/getting/index.rst +++ b/doc/getting/index.rst @@ -20,7 +20,7 @@ page for further details. .. ATTENTION:: Since ``v0.37``, GHDL's synthesis features require GCC >=8.1, due to some new GNAT features which are not available in previous releases. Users with older versions (who don't need synthesis) - can configure GHDL with option ``--no-synth``. + can configure GHDL with option ``--disable-synth``. .. rubric :: Available back-ends |