The problem lies in the recheck operation of config.status:

Thanks much for the explanation.

    Here you go.

And for the new patch.  I sent that to rms for his approval (of the
substantive part).

karl


Reply via email to