[bug#33333] [PATCH] .gitignore: Add more generated files.

[bug#33333] [PATCH] .gitignore: Add more generated files.

[swedebugia]

[-- Attachment #1: Type: text/plain, Size: 24 bytes --]


-- 
Cheers
Swedebugia


[-- Attachment #2: 0001-.gitignore-Add-more-generated-files.patch --]
[-- Type: text/x-patch, Size: 792 bytes --]

From 121b2ab9a85580fa155e375ff87cd3be589e0bdb Mon Sep 17 00:00:00 2001
From: swedebugia <swedebugia@riseup.net>
Date: Sat, 10 Nov 2018 15:22:29 +0100
Subject: [PATCH] .gitignore: Add more generated files.

---
 .gitignore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 35d50b35a..d77bafb42 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,6 +28,8 @@
 /configure
 /doc/*.1
 /doc/.dirstamp
+/doc/contributing.de.texi
+/doc/contributing.fr.texi
 /doc/guix.*.aux
 /doc/guix.*.cp
 /doc/guix.*.cps
@@ -43,11 +45,12 @@
 /doc/guix.*.tp
 /doc/guix.*.vr
 /doc/guix.*.vrs
-/doc/guix.aux
 /doc/guix.cp
 /doc/guix.cps
+/doc/guix.de.texi
 /doc/guix.fn
 /doc/guix.fns
+/doc/guix.fr.texi
 /doc/guix.html
 /doc/guix.info
 /doc/guix.info-[0-9]
-- 
2.18.0

[bug#33333] [PATCH] .gitignore: Add more generated files.

[Ludovic Courtès]

Hi,

swedebugia <swedebugia@riseup.net> skribis:

> --- a/.gitignore
> +++ b/.gitignore
> @@ -28,6 +28,8 @@
>  /configure
>  /doc/*.1
>  /doc/.dirstamp
> +/doc/contributing.de.texi
> +/doc/contributing.fr.texi

These files are checked in so we can’t really ignore them.  They are
sometimes automatically updated, leading to diffs that can be safely
ignored, though.

Julien, any idea how we can avoid the occasional annoyance that this
causes?

Thanks,
Ludo’.

[bug#33333] [PATCH] .gitignore: Add more generated files.

[Maxim Cournoyer]

ludo@gnu.org (Ludovic Courtès) writes:

> Hi,
>
> swedebugia <swedebugia@riseup.net> skribis:
>
>> --- a/.gitignore
>> +++ b/.gitignore
>> @@ -28,6 +28,8 @@
>>  /configure
>>  /doc/*.1
>>  /doc/.dirstamp
>> +/doc/contributing.de.texi
>> +/doc/contributing.fr.texi
>
> These files are checked in so we can’t really ignore them.  They are
> sometimes automatically updated, leading to diffs that can be safely
> ignored, though.
>
> Julien, any idea how we can avoid the occasional annoyance that this
> causes?
>
> Thanks,
> Ludo’.

Ping! Is this still an problem?  It seems I haven't had this issue in a
while.

Maxim

bug#33333: [PATCH] .gitignore: Add more generated files.

[Maxim Cournoyer]

Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:

> ludo@gnu.org (Ludovic Courtès) writes:
>
>> Hi,
>>
>> swedebugia <swedebugia@riseup.net> skribis:
>>
>>> --- a/.gitignore
>>> +++ b/.gitignore
>>> @@ -28,6 +28,8 @@
>>>  /configure
>>>  /doc/*.1
>>>  /doc/.dirstamp
>>> +/doc/contributing.de.texi
>>> +/doc/contributing.fr.texi
>>
>> These files are checked in so we can’t really ignore them.  They are
>> sometimes automatically updated, leading to diffs that can be safely
>> ignored, though.
>>
>> Julien, any idea how we can avoid the occasional annoyance that this
>> causes?
>>
>> Thanks,
>> Ludo’.
>
> Ping! Is this still an problem?  It seems I haven't had this issue in a
> while.
>
> Maxim

This annoyance was fixed as part as v1.3.0.

Closing.

Maxim