--- Begin Message ---
Subject: |
[PATCH] build: Add doc/guix.html to .gitignore. |
Date: |
Mon, 8 May 2017 17:26:35 +0200 |
* .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
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#26831: [PATCH] build: Add doc/guix.html to .gitignore. |
Date: |
Mon, 08 May 2017 20:17:32 +0200 |
User-agent: |
mu4e 0.9.18; emacs 25.2.1 |
Leo Famulari <address@hidden> 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.
--- End Message ---