[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ludovic Courtès
Subject: [bug#33327] [PATCH 2/2] gnu: webkitgtk: Include documentation.
Date: Sun, 11 Nov 2018 12:35:05 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

Pierre Neidhardt <address@hidden> skribis:

>> This is so that users of gtk-doc don’t need to specify where docbook-xsl
>> is to be searched for, right?
> On the user-side, I don't know, but without this thee doc of WebKitGTK would
> fail to build, so this is necessary on the builder side.

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

>> Since generated HTML documentation tends to take a lot of space, what
>> about moving it to a “doc” output?
> Documentation is <7MB, <5% of the total package size, so I didn't bother
> creating a separate output.
> What do you think?

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

Thanks for your feedback,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]