Subject: [bug#47946] .gitignore: Ignore all doc/stamp-* files

From: [email-masked]
Date: Thu, 22 Apr 2021 15:48:10 +0900

I'm not sure this is the correct patch, but sometimes we get files like
doc/stamp-10 which fail to be ignored by the current `doc/stamp-[0-9]' pattern.

>From 6877a89b5d5912c14f6f4ab27f92076c5ae6af86 Mon Sep 17 00:00:00 2001
From: "B. Wilson" <[email-masked]>
Date: Thu, 22 Apr 2021 15:43:12 +0900
Subject: [PATCH] .gitignore: Add doc/stamp-[0-9]*
To: [email-masked]

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index fc8a859336..0c4c26d198 100644
--- a/.gitignore
+++ b/.gitignore
@@ -146,7 +146,7 @@ tmp
 /doc/os-config-lightweight-desktop.texi
 /nix/scripts/download
 /.version
-/doc/stamp-[0-9]
+/doc/stamp-[0-9]*
 /gnu/packages/bootstrap
 /gnu/packages/aux-files/guile-guile-launcher.o
 /guile
-- 
2.31.1