diff options
-rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 49e9a9b5..33a01b43 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -390,6 +390,7 @@ distclean: localdistclean .PHONY: localdistclean localdistclean: localclean -rm -f `find -type l` + -rm -f TAGS -rm -f Makefile.config # 'tags' generates/updates an Emacs tags file, anmed TAGS, in the current |