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.