aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-04-10 07:50:42 +0200
committerTristan Gingold <tgingold@free.fr>2020-04-10 07:50:42 +0200
commitcaa5bf5c2a32e31f07209490a8933cfa186e9511 (patch)
tree02ed9636ecd31ab014aa417c4c3623e1ae46fe25 /doc
parent2149f1b6a990717c82b66d52c6c72d5fa37318aa (diff)
downloadghdl-caa5bf5c2a32e31f07209490a8933cfa186e9511.tar.gz
ghdl-caa5bf5c2a32e31f07209490a8933cfa186e9511.tar.bz2
ghdl-caa5bf5c2a32e31f07209490a8933cfa186e9511.zip
Adjust help for --disable-synth.
Diffstat (limited to 'doc')
-rw-r--r--doc/getting/index.rst2
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