Fabian Boehm c753f22003 docs: Format path synopsis ...

This was written while we changed how our synopses are formatted, so
we missed adding a "synopsis" marker to it.

The tokenizer here is a bit cheesy, so we can't mark continuation
lines with a "\", and we also can't mark the general options with a
":=". Tbh that's not a big deal.

Fixes #9154

2022-08-25 13:06:57 +02:00

17 KiB

Raw Blame History

View Raw