diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-20 18:12:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-20 09:12:57 -0700 |
commit | 656b13b04627a7c226fb6367ca4323c4971d5f48 (patch) | |
tree | faf964555bc9b32b3412172946c9be2dd15855ac /INSTALL.rst | |
parent | 84a95435ef3d92ea6ee969a574b9fa98d569f93f (diff) |
Add anchors to cmdline options (#7210)
This PR adds anchors to the auto-generates command line option documentation. This allows to link to specific options from other parts of the documentation.
Diffstat (limited to 'INSTALL.rst')
0 files changed, 0 insertions, 0 deletions