GNU bug report logs - #76514
[PATCH] gitignore: Ignore generated info files.

Previous Next

Package: guix-patches;

Reported by: Tomas Volf <~@wolfsden.cz>

Date: Sun, 23 Feb 2025 20:55:02 UTC

Severity: normal

Tags: patch

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Leo Famulari <leo <at> famulari.name>
To: Tomas Volf <~@wolfsden.cz>
Cc: 76514 <at> debbugs.gnu.org
Subject: [bug#76514] [PATCH] gitignore: Ignore generated info files.
Date: Mon, 24 Feb 2025 14:12:37 -0500

On Sun, Feb 23, 2025 at 09:53:31PM +0100, Tomas Volf wrote:
> We now have doc/guix.de.info-10, so additional ignore pattern is required.

I don't see this file in my source tree. How do I generate it?
This bug report was last modified 84 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.