[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33327] [PATCH 2/2] gnu: webkitgtk: Include documentation.
From: |
Pierre Neidhardt |
Subject: |
[bug#33327] [PATCH 2/2] gnu: webkitgtk: Include documentation. |
Date: |
Sun, 11 Nov 2018 11:54:13 +0100 |
User-agent: |
mu4e 1.0; emacs 26.1 |
> 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.
> 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?
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
[bug#33327] [PATCH 1/2] gnu: gtk-doc: Use local docbook-xsl., Ludovic Courtès, 2018/11/10