man: use <arg> instead of <group>

Authored by pino on Oct 12 2019, 10:02 AM.

Description

man: use <arg> instead of <group>

Since each is a simple option and not a group of options, <arg> is the
right tag.

This fixes the formatting of the options in the synopsis, so that
instead of "[--desktopfilefile name]" (missing space) now there is
"[--desktopfile file name]".

Details

Committed
pinoOct 12 2019, 10:02 AM
Parents
R238:3a7798f7183d: GIT_SILENT Upgrade ECM and KF5 version requirements for 5.63.0 release.
Branches
Unknown
Tags
Unknown