diff options
| -rw-r--r-- | doc/language/option_dump.md | 2 | ||||
| -rw-r--r-- | doc/language/options.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/language/option_dump.md b/doc/language/option_dump.md index a156484bf6..bfd0f7fa51 100644 --- a/doc/language/option_dump.md +++ b/doc/language/option_dump.md @@ -1,7 +1,7 @@ # Option `--dump` For other argument values, -see {Option --dump}[options_md.html#label--dump-3A+Dump+Items]. +see {Option `--dump`}[rdoc-ref:options.md@--dump+Dump+Items]. For the examples here, we use this program: diff --git a/doc/language/options.md b/doc/language/options.md index fc78e1668a..1329b7ca63 100644 --- a/doc/language/options.md +++ b/doc/language/options.md @@ -650,7 +650,7 @@ option was given: Same as [option `--version`][--version]. For other argument values and examples, -see {Option --dump}[option_dump_md.html]. +see {Option `--dump`}[rdoc-ref:option_dump.md]. ### `--enable`: Enable Features |
