diff options
| author | Paul A. Patience <paul@apatience.com> | 2022-02-08 11:39:35 +0000 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2022-02-08 08:08:08 -0800 |
| commit | 587194b81ba2da80b5598567914c9ddc9a124208 (patch) | |
| tree | 31619feeb2b27ae52cabd1f8375a1fc60d93b281 /y.tab.h.shipped | |
| parent | bf9105a392fdfad882f8b47544f607ef77674e61 (diff) | |
| download | txr-587194b81ba2da80b5598567914c9ddc9a124208.tar.gz txr-587194b81ba2da80b5598567914c9ddc9a124208.tar.bz2 txr-587194b81ba2da80b5598567914c9ddc9a124208.zip | |
getopts: uniformize opthelp newlines and headers.
The documented options and type legend both end in a blank line,
unlike the undocumented options and option conventions.
* stdlib/getopts.tl (opthelp): Print a blank line after the
undocumented options.
(opthelp-conventions): Print a blank line after the conventions.
Also, change the header from "Option Conventions" to "Option
conventions" to follow the style of the undocumented options and
type legend.
* txr.1: Remove superfluous (as of now) put-line calls in the
--extra-help example of getopts. While here, correct o.extrahelp
to o.extra-help.
Diffstat (limited to 'y.tab.h.shipped')
0 files changed, 0 insertions, 0 deletions