> But other packages that use gtk-doc don’t have this problem, right?  Any
> idea what’s different?

I assume it's because WebKitGTK documentation uses some option of gtkdoc that
other packages don't use.

> I have a preference for a separate “doc” output nonetheless, if it’s not
> too difficult to achieve.

OK, I'll them and merge then.

-- 
Pierre Neidhardt
https://ambrevar.xyz/