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 /Makefile | |
| parent | 66bdad7cd2857e108642d2a468d6d4906704d052 (diff) | |
| download | git-repair-e78aedf04f6fdabb948ab91d3b0b670e4765c6a2.tar.gz | |
avoid generating emacs TAGS
Diffstat (limited to 'Makefile')
| -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 |