diff options
Diffstat (limited to 'doc/ghdl.texi')
| -rw-r--r-- | doc/ghdl.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |