[Backport] Docs: Fix formatting of command line instructions

Sphinx turned the double dash into a long dash. A user reported issues
with running the command after copy&pasting it.

(cherry picked from commit 90ab1f19f061746cbe72c528b110a9bf62a71632)