On Sun, Dec 7, 2008 at 5:39 AM, Trent W. Buck <[EMAIL PROTECTED]> wrote:
> 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,$^) Then please go with the phonies so it's useful again? Jason
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
