Subject: bug#26831: closed (Re: bug#26831: [PATCH] build: Add doc/guix.html to .gitignore.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 08 May 2017 18:18:01 +0000

Your bug report

#26831: [PATCH] build: Add doc/guix.html 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].

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

Subject: Re: bug#26831: [PATCH] build: Add doc/guix.html to .gitignore.
From: Clément Lassieur <[email-masked]>
To: Leo Famulari <[email-masked]>
Cc: [email-masked]
Date: Mon, 08 May 2017 20:17:32 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Leo Famulari <[email-masked]> writes:

> On Mon, May 08, 2017 at 05:26:35PM +0200, Clément Lassieur wrote:
>> * .gitignore: Add entry for the above directory which is created by 'make
>> html'.
>
> Thanks, LGTM

Thanks for reviewing, pushed.

Subject: [PATCH] build: Add doc/guix.html to .gitignore.
From: Clément Lassieur <[email-masked]>
To: [email-masked]
Date: Mon, 8 May 2017 17:26:35 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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

diff --git a/.gitignore b/.gitignore
index cff056a9d..5086ae22b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,6 +31,7 @@
 /doc/guix.cps
 /doc/guix.fn
 /doc/guix.fns
+/doc/guix.html
 /doc/guix.info
 /doc/guix.info-[0-9]
 /doc/guix.ky
-- 
2.12.2