Subject: [bug#76514] [PATCH] gitignore: Ignore generated info files.

From: Leo Famulari <[email-masked]>
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?