[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 out
|
From: |
Liliana Marie Prikler |
|
Subject: |
[bug#60826] [PATCH gnome-team v4 4/4] gnu: shared-mime-info: Add doc output. |
|
Date: |
Thu, 22 Jun 2023 21:56:43 +0200 |
|
User-agent: |
Evolution 3.46.4 |
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