Subject: Re: [PATCH gnome-team v4 4/4] gnu: shared-mime-info: Add doc output.

From: Liliana Marie Prikler <[email-masked]>
Date: Thu, 22 Jun 2023 21:56:43 +0200

Am Donnerstag, dem 22.06.2023 um 20:33 +0100 schrieb Bruno Victal:
> * gnu/packages/freedesktop.scm (shared-mime-info)
> [arguments]<#:phases>: Add 'install-doc phase.
> [outputs]: Add 'doc' output.
> [native-inputs]: Add docbook-xml-4.1.2, docbook-xsl and xmlto.
For the commit message, "Install documentation." is preferable.  The
ChangeLog LGTM, for the implementation I'll wait for CI.

Cheers