Insert missing space in subcommand synopsis.

This commit is contained in:
Justus Winter 2024-01-04 19:02:20 +01:00
parent 545035093f
commit 6e56915e0c
No known key found for this signature in database
GPG Key ID: 686F55B4AB2B3386

View File

@ -587,7 +587,7 @@ impl ManualPage {
line.extend_from_slice(&local_options);
}
for (i, arg) in args.iter().enumerate() {
if i > 0 {
if i > 0 || ! sub_options {
line.push(roman(" "));
}
line.push(italic(arg));