[Low-priority] [Documentation] stdin-filename parameter repeated in usage docs #1979
Labels
T: bug
Something isn't working
T: documentation
Improvements to the docs (e.g. new topic, correction, etc)
Describe the bug
Both #1824 and #1915 were recently merged and each updated the
docs/installation_and_usage.md
file.It's hard to spot when viewing the pull requests individually -- especially since no merge conflicts occurred -- but they both generated and merged an additional documentation entry for the
--stdin-filename
command-line parameter, so it appears twice currently in the usage docs.Regenerating the latest documentation should resolve the issue.
The text was updated successfully, but these errors were encountered: