Re: changing genprop.awk to handle radio_values

[John W. Eaton]

On 14-Sep-2007, Shai Ayal wrote:

| currently none, because there are no radio_property properties now.
| But some which today are octave_values will have to be converted --
| line.linestyle, line.marker, line.color and such. The conversion is
| not just adding an "a" but also changing the type of the property and
| adding a list of allowed values. I will probably do this slowly over
| time (or in one fell swoop if I have a lot of time without enough
| energy to think about things).

OK, then I will check once more whether there are any pending patches
and make a new snapshot, probably this weekend, but certainly by
Monday.  The other patches you sent for configure will go on a
separate branch to be merged after 3.0.

Thanks,

jwe