Subject: Re: [PATCH gnome-team v4 4/4] gnu: shared-mime-info: Add doc output.
From: Liliana Marie Prikler <[email-masked]>
To: Bruno Victal <[email-masked]>, [email-masked]
Date: Sun, 25 Jun 2023 08:21:00 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Am Donnerstag, dem 22.06.2023 um 21:56 +0200 schrieb Liliana Marie
Prikler:
> 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.
Pushed with some of the announced changes, though notably I forgot to
the headline of this commit.

Cheers