7d754961f7
getopt_long() allows abbreviating long options, so we might as well give the option the full name, and users can abbreviate it how they like. Do some general polishing of the --help output at the same time. |
||
---|---|---|
.. | ||
src | ||
KNOWN_BUGS | ||
MISSING_FEATURES | ||
Makefile | ||
TODO | ||
bug.template |