PatR 46f19f89ac goodbye END-CHOOSE ...

Instead of an additional options file directive to end the last
section of a CHOOSE directive, simplify by using an empty-name
section, [], instead.  So
...
CHOOSE one,two
[one]
...
[two]
...
[]
...

As with the short-lived END-CHOOSE directive, if no [] is present
then the rest of the file is part of the last choice.

2020-08-07 00:29:28 -07:00

238 KiB

Raw Blame History

View Raw