diff options
author | Joey Hess <joeyh@joeyh.name> | 2022-03-24 13:30:15 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2022-03-24 13:30:15 -0400 |
commit | e78aedf04f6fdabb948ab91d3b0b670e4765c6a2 (patch) | |
tree | bc70c9adfe8433a43cea08ab206462c6f42fc174 | |
parent | 66bdad7cd2857e108642d2a468d6d4906704d052 (diff) | |
download | git-repair-e78aedf04f6fdabb948ab91d3b0b670e4765c6a2.tar.gz |
avoid generating emacs TAGS
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -38,6 +38,6 @@ clean: find . -name \*.hi -exec rm {} \; tags: - hasktags . || true + hasktags . -c || true .PHONY: tags |