diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-10-10 22:44:06 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-10-10 22:44:06 +0200 |
| commit | 2cdebe01d3e2aff0bbf236a72ea3ff0f21f592ee (patch) | |
| tree | 4ad34600ff3bf016938f23f86394e894074ec19d | |
| parent | 8de754e2e97376f8cb34957bbd0c64671a4aae41 (diff) | |
fix make tags
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index bdec018c..e2e182dc 100644 --- a/src/Makefile +++ b/src/Makefile @@ -16,5 +16,7 @@ kak : $(objects) tags: ctags -R -clean : +clean: rm -f *.o .*.d kak tags + +.PHONY: tags |