Re: Better emoji support, Re: Better emoji support

[Robert Pluim]

>>>>> On Fri, 17 Sep 2021 20:53:32 +0200, martin rudalics <rudalics@gmx.at> 
>>>>> said:

    >> Iʼll see if I can add the missing dependency so bootstrapping isnʼt 
required.
    martin> Hmmm...  it apparently was regenerated here without bootstrapping.

    martin> martin

The dependency on blocks.awk is there in the Makefile, so I canʼt
explain why it didnʼt regenerate for Stephen.

Robert
--