[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TAGS Makefile target
From: |
Sandro Santilli |
Subject: |
Re: TAGS Makefile target |
Date: |
Mon, 16 Oct 2023 16:09:40 +0200 |
On Mon, Oct 16, 2023 at 09:13:44AM -0400, Alfred M. Szmidt wrote:
>
> On https://www.gnu.org/prep/standards/html_node/Standard-Targets.html
> a TAGS Makefile target is recommended but not much is said about it.
> I guess it's for "etags" (vs. ctags) and so guessed the Bash developers:
>
> https://git.savannah.gnu.org/cgit/bash.git/tree/Makefile.in#n823
>
> But a few words on that taget would be nice to have.
>
> Would you like to suggest an addition?
Something like "the TAGS target should create a TAGS file with format
etags" or something like that ?
> And may I suggest to make `tags` (for ctags) also a recomendation ?
>
> I see no harm in mentioning that, though we prefer TAGS ...
Aren't TAGS and tags producing two different things ?
--strk;
Libre GIS consultant/developer
https://strk.kbt.io/services.html