diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-09-05 06:16:45 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-09-05 06:16:45 +0200 |
| commit | 0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26 (patch) | |
| tree | bc02be272e1d0d69314a48c9caee490c390f3212 /doc | |
| parent | f170a6ec3514350323ad48f1c2190a0a8d60ccf7 (diff) | |
| download | ghdl-0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26.tar.gz ghdl-0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26.tar.bz2 ghdl-0e866eed7dc5adb6eb3426d27fc8fdc9aac69e26.zip | |
Fix wave-opt option names in doc.
Fix #187
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Simulation_and_runtime.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Simulation_and_runtime.rst b/doc/Simulation_and_runtime.rst index 25a779fb2..3714acb5c 100644 --- a/doc/Simulation_and_runtime.rst +++ b/doc/Simulation_and_runtime.rst @@ -118,7 +118,7 @@ all options available, including the debugging one. Disable buffering on stdout, stderr and files opened in write or append mode (TEXTIO). -.. option:: --read-opt-file=<FILENAME> +.. option:: --read-wave-opt=<FILENAME> Filter signals to be dumped to the wave file according to the wave option file provided. @@ -152,7 +152,7 @@ all options available, including the debugging one. /**/sub3/*/* -.. option:: --write-opt-file=<FILENAME> +.. option:: --write-wave-opt=<FILENAME> If the wave option file doesn't exist, creates it with all the signals of the design. Otherwise throws an error, because it won't erase an existing |