diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/building/PrecompileVendorPrimitives.rst | 2 | ||||
| -rw-r--r-- | doc/ghdl.texi | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/building/PrecompileVendorPrimitives.rst b/doc/building/PrecompileVendorPrimitives.rst index 39454c7c9..1a3171a2d 100644 --- a/doc/building/PrecompileVendorPrimitives.rst +++ b/doc/building/PrecompileVendorPrimitives.rst @@ -248,7 +248,7 @@ Selectable Options for the Bash Scripts: -n --no-warnings Don't show warnings. Report errors only. -s --skip-existing Skip already compiled files (an *.o file exists). -S --skip-largefiles Don't compile large entities like DSP and PCIe primitives. - -H --halt-on-error Stop compiling if an error occured. + -H --halt-on-error Stop compiling if an error occurred. * `compile-altera.sh` diff --git a/doc/ghdl.texi b/doc/ghdl.texi index f41cab1da..cfa8ef218 100644 --- a/doc/ghdl.texi +++ b/doc/ghdl.texi @@ -4413,7 +4413,7 @@ Common parameters to most scripts: -n --no-warnings Don't show warnings. Report errors only. -s --skip-existing Skip already compiled files (an *.o file exists). -S --skip-largefiles Don't compile large entities like DSP and PCIe primitives. --H --halt-on-error Stop compiling if an error occured. +-H --halt-on-error Stop compiling if an error occurred. @end example @item |