On Sun, Dec 07, 2008 at 04:40:52AM -0800, Jason Dagit wrote:
>> BTW, note that "make TAGS" uses etags and "make tags" uses ctags,
>> because those are the default filenames for the respective tools.
>
> As a heavy user of tags, would you mind making it so that there is
> just 'make tags' that generates both? I think having the case
> sensitive distinction in the make targets is confusing. The old
> behavior we had before is what I'd like.
But then the make targets would be confusing phonies and not
correspond to the actual targets!
I could set it up so that attempting to build either the TAGS file or
the tags file forces both to be generated, but that seems rude and
ugly. It'd probably also piss off everyone who doesn't have etags
installed.
tags TAGS: $(DARCS_FILES) src/*.c
hasktags -b $(filter %.lhs %.hs,$^)
ctags -a $(filter %.c,$^)
etags -a $(filter %.c,$^)
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
