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

Previous Next

Full log

View this message in rfc822 format

From: Tomas Volf <~@wolfsden.cz>
To: 76514 <at> debbugs.gnu.org
Cc: Tomas Volf <~@wolfsden.cz>
Subject: [bug#76514] [PATCH] gitignore: Ignore generated info files.
Date: Sun, 23 Feb 2025 21:53:31 +0100

We now have doc/guix.de.info-10, so additional ignore pattern is required.

* .gitignore: Ignore /doc/guix*.info-[0-9][0-9].  Add newline at the end of
file.

Change-Id: I42f8eb6fc24e4fdc1121e7b0927bda5fb3e2e151
---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 0f74b5da3d..cdb3869de0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,7 @@
 /doc/guix*.html
 /doc/guix*.info
 /doc/guix*.info-[0-9]
+/doc/guix*.info-[0-9][0-9]
 /doc/guix*.ky
 /doc/guix*.pg
 /doc/guix*.toc
@@ -158,4 +159,4 @@ tmp
 /gnu/packages/aux-files/guile-guile-launcher.o
 /guile
 .DS_Store
-.mumi/current-issue
\ No newline at end of file
+.mumi/current-issue
-- 
2.48.1

Previous Next

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