Re: Using make_ctags leaves tags files in git

> On 15 May 2023, at 12:33, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
> 
> On 2023-May-14, Tom Lane wrote:
> 
>> Steve Chavez <steve@supabase.io> writes:
>>> In this case I just propose adding 'tags'. I believe it's reasonable to
>>> ignore these as they're produced by make_ctags.
>> 
>> Our policy on this is that the project's .gitignore files should ignore
>> files that are produced by our standard build scripts.
> 
> But make_ctags is *our* script, so I think this rule applies to them as
> well.

It is our script, but "tags" is not an artifact created by the build scripts
since make_{c|e}tags isn't part of the build so I'm not convinced we should
bother.  If we do I'm sure there are many other scripts in src/tools which
generate files we don't track (like make_mkid, which admittedly probably hasn't
been executed by anyone in a decade or so).

--
Daniel Gustafsson