[PATCH] Let git ignore src/temacs* not just src/temacs

[PATCH] Let git ignore src/temacs* not just src/temacs

[Bastien]

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

I found a remaining src/temacs.in that is not ignored right now.
I suggest ignoring src/temacs*, not just src/temacs.

Let me know if I can apply the following patch.

Thanks!


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: gitignore.patch --]
[-- Type: text/x-diff, Size: 307 bytes --]

diff --git a/.gitignore b/.gitignore
index 88b29760b7..dd68a478ef 100644
--- a/.gitignore
+++ b/.gitignore
@@ -184,7 +184,7 @@ nextstep/GNUstep/Emacs.base/Resources/Info-gnustep.plist
 src/bootstrap-emacs
 src/emacs
 src/emacs-[0-9]*
-src/temacs
+src/temacs*
 src/fingerprint.c
 src/dmpstruct.h
 src/*.pdmp

[-- Attachment #3: Type: text/plain, Size: 14 bytes --]


-- 
 Bastien

Re: [PATCH] Let git ignore src/temacs* not just src/temacs

[Stefan Monnier]

> I found a remaining src/temacs.in that is not ignored right now.

Previous versions of the `master` branch created this, but the current
`master` branch doesn't create this any more.  For this reason, `make
clean` and friends don't remove this file any more (since "it's not
ours" any more).


        Stefan

Re: [PATCH] Let git ignore src/temacs* not just src/temacs

[Paul Eggert]

Bastien wrote:
> Let me know if I can apply the following patch.

Sure, that makes sense.

Re: [PATCH] Let git ignore src/temacs* not just src/temacs

[Paul Eggert]

Paul Eggert wrote:
> Bastien wrote:
>> Let me know if I can apply the following patch.
> 
> Sure, that makes sense.

Hmm, well, as Stefan points out it *used* to make sense, but nowadays it 
shouldn't be needed. Sorry about the noise.

Re: [PATCH] Let git ignore src/temacs* not just src/temacs

[Bastien]

Paul Eggert <eggert@cs.ucla.edu> writes:

> Paul Eggert wrote:
>> Bastien wrote:
>>> Let me know if I can apply the following patch.
>>
>> Sure, that makes sense.
>
> Hmm, well, as Stefan points out it *used* to make sense, but nowadays
> it shouldn't be needed. Sorry about the noise.

Okay, point taken.  Thanks,

-- 
 Bastien