Learn more about these different git repos.
Other Git URLs
694d324
Fix generation of optional parameters in man page There were change of string (from "optional arguments:" to "options:"), from which are optional arguments detected. Signed-off-by: Michal Josef Špaček <mspacek@redhat.com>