|
From: | Ludovic Courtès |
Subject: | [bug#33327] [PATCH 2/2] gnu: webkitgtk: Include documentation. |
Date: | Sat, 10 Nov 2018 23:27:44 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Pierre Neidhardt <address@hidden> 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’.
[Prev in Thread] | Current Thread | [Next in Thread] |