diff options
author | Joe Bloggs <vapniks@yahoo.com> | 2022-02-04 01:18:33 +0000 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2022-02-03 22:24:57 -0800 |
commit | 55dca8cda3825e0f338584ff853a8fc78b98b328 (patch) | |
tree | 701bd4168f8db724f210b91d369bd1d02af164af /mpi | |
parent | 755cb1b066a3b9035aba9933a881d356e75697d4 (diff) | |
download | txr-55dca8cda3825e0f338584ff853a8fc78b98b328.tar.gz txr-55dca8cda3825e0f338584ff853a8fc78b98b328.tar.bz2 txr-55dca8cda3825e0f338584ff853a8fc78b98b328.zip |
getopts: make detailed help notes optional.
* stdlib/getopts.tl (opthelp): New incnotes parameter.
If specified as false, disables the detailed Notes
and Type legend.
(sys:option-base opthelp): Same new parameter on this method,
passed down to opthelp.
* txr.1: Documented.
Diffstat (limited to 'mpi')
0 files changed, 0 insertions, 0 deletions