building for jdk / openfx 13 (patch)

[Michael Zucchi]

On 17/12/19 4:28 pm, Per Bothner wrote:
> On 12/16/19 7:51 PM, Michael Zucchi wrote:
>
> Looking pretty good.
>
> I may not have time to try this until tomorrow evening or Wednesday.
>
> One thing I noticed:
>
>> Â Â @example
>> -$ ./configure --with-javafx=$JAVA_HOME --enable-kawa-frontend 
>> ...other-args...
>> +$ ./configure --with-javafx-sdk=path-to-sdk ...other-args...
>> Â Â @end example
>
> Should this be:
>
> +$ ./configure --with-javafx=path-to-sdk ...other-args...

Oops yes thanks.  Actually I must admit I didn't check too closely in 
case other changes are necessary.