Subject: Re: [bug#33327] [PATCH 2/2] gnu: webkitgtk: Include documentation.

From: Pierre Neidhardt <[email-masked]>
Date: Sun, 11 Nov 2018 16:06:57 +0100

> 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/