bug#70007: [PATCH] native JSON encoder

[Mattias Engdegård]

30 mars 2024 kl. 17.37 skrev Eli Zaretskii <eliz@gnu.org>:

> Thanks.  


> The new code failed to link due to an omission in
> src/Makefile.in, and also the "clever" initialization in
> json_serialize confused make-docfile (so globals.h were generated
> incorrectly: they missed the DEFSYMs in syms_of_json).  I think I
> fixed that, but please eyeball the changes to see if I missed
> something.

Blast, I thought I had bootstrapped and tested it but naturally used the wrong 
tree. Thanks for putting it right.

We should do something about make-docfile one of these days.