On Thu, Jul 09, 2020 at 05:27:46PM +0100, s...@debian.org wrote: > This is likely to be "won't fix" (or rather "can't fix") for > gtk-doc-tools, unless someone with a suitably faulty FPU can > reproduce the bug and figure out what is going on.
Ok I used your suggestion, webkit now builds with -DENABLE_GTKDOC=OFF on the binary-arch target. Feel free to close this one if you want. Thanks! Berto
