diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-27 16:25:48 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-28 18:35:01 -0500 |
| commit | 27d3b124c7005c55fda2ee41922994cd67496cb4 (patch) | |
| tree | 1b29151a8fc72455885dfbb7a95f9bebe6c87259 /tools | |
| parent | 77abf3c1159a0326d05dba9cc7475d947fde0aa0 (diff) | |
man: force space in cmdsynopsis
Docbook renders the man page as "[OPTIONS]--type" without it.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions