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