Skip to content

Escape doclang in doc

Specifically, escape $ in the manpage text to be compatible with Cmdliner's formatting.

Closes #390 (closed)

Merge request reports