cli: Improve help texts
authorXiretza <xiretza@xiretza.xyz>
Sat, 22 Aug 2020 13:46:58 +0000 (15:46 +0200)
committerwhitequark <whitequark@whitequark.org>
Sat, 22 Aug 2020 14:41:37 +0000 (14:41 +0000)
commit15f150337f7c64c484c5bf76a24a62dd38e93a17
treef9fa411dc30fbcc8288ec191fa7fed6781d19f06
parente46118dac0df315694b0fc6b9367d285a8fc12dd
cli: Improve help texts

545e49c2 added the option to export as CXXRTL, but the help texts for
the CLI options don't reflect this yet.
nmigen/cli.py