Subject: bug#31804: closed (Re: [bug#31804] [PATCH] build: Add doc/stamp-1 to .gitignore.)

From: [email-masked] (GNU bug Tracking System)
Date: Wed, 13 Jun 2018 04:19:02 +0000

Your bug report

#31804: [PATCH] build: Add doc/stamp-1 to .gitignore.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
31804: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31804
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#31804] [PATCH] build: Add doc/stamp-1 to .gitignore.
From: Clément Lassieur <[email-masked]>
To: [email-masked]
Date: Wed, 13 Jun 2018 06:18:57 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Clément Lassieur <[email-masked]> writes:

> * .gitignore: Add entry for the above file which is created by 'make'.
> ---
>  .gitignore | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/.gitignore b/.gitignore
> index 38a55a3b5..7728c6e5c 100644
> --- a/.gitignore
> +++ b/.gitignore
> @@ -60,6 +60,7 @@
>  /doc/guix.vrs
>  /doc/os-config-bare-bones.texi
>  /doc/os-config-desktop.texi
> +/doc/stamp-1
>  /doc/stamp-vti
>  /doc/version.texi
>  /doc/version-*.texi

Done already :-)

Subject: [PATCH] build: Add doc/stamp-1 to .gitignore.
From: Clément Lassieur <[email-masked]>
To: [email-masked]
Date: Tue, 12 Jun 2018 22:31:06 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

* .gitignore: Add entry for the above file which is created by 'make'.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 38a55a3b5..7728c6e5c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -60,6 +60,7 @@
 /doc/guix.vrs
 /doc/os-config-bare-bones.texi
 /doc/os-config-desktop.texi
+/doc/stamp-1
 /doc/stamp-vti
 /doc/version.texi
 /doc/version-*.texi
-- 
2.17.1