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
..
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-08-05 18:32:32 +02:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-24 20:11:39 +01:00
2022-06-16 19:45:55 +10:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-08-23 19:55:55 +02:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-08-25 13:06:57 +02:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-07-16 12:40:36 -07:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00