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

From: [email-masked] (Ludovic Courtès)
Date: Sat, 10 Nov 2018 23:27:44 +0100

Pierre Neidhardt <[email-masked]> skribis:

> * gnu/packages/webkit.scm (webkitgtk): Include documentation.

Since generated HTML documentation tends to take a lot of space, what
about moving it to a “doc” output?

Otherwise LGTM.

Thanks,
Ludo’.