[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60826: [PATCH gnome-team v4 4/4] gnu: shared-mime-info: Add doc outp
From: |
Liliana Marie Prikler |
Subject: |
bug#60826: [PATCH gnome-team v4 4/4] gnu: shared-mime-info: Add doc output. |
Date: |
Sun, 25 Jun 2023 08:21:00 +0200 |
User-agent: |
Evolution 3.46.4 |
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