diff options
-rw-r--r-- | .gitignore | 3 | ||||
-rw-r--r-- | src/Makefile.in | 12 |
2 files changed, 15 insertions, 0 deletions
@@ -129,6 +129,9 @@ local.properties /doc/html/ /doc/pdf/ +# Emacs tags table +/src/TAGS + /src/config.log /src/config.status /src/configure diff --git a/src/Makefile.in b/src/Makefile.in index 4d8c6f1..d8c524f 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -667,3 +667,15 @@ check-copyright: (cd $(top_srcdir) && \ $(FIND) . \( -name '*.[ch]' -o -name '*.hin' \) -print0 | \ $(XARGS) -0 python util/krb5-check-copyright.py) + +tags: FORCE + (cd $(top_srcdir) && \ + $(FIND) . \( -name '*.[ch]' -o -name '*.hin' \) -print | \ + etags --lang=c - && \ + $(FIND) . -name '*.cpp' -print | etags --lang=c++ --append - && \ + $(FIND) . -name '*.y' -print | etags --lang=yacc --append -) +FORCE: +.PHONY: FORCE tags + +distclean-unix: + $(RM) $(top_srcdir)/TAGS |