From 7ff6ca17ce0af2e89ae90adfb750a18e27d4e2b6 Mon Sep 17 00:00:00 2001 From: William Casarin Date: Thu, 6 Jul 2023 08:40:19 -0700 Subject: [PATCH] makefile for building tags --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..d6c4269f --- /dev/null +++ b/Makefile @@ -0,0 +1,5 @@ + +tags: fake + find src -name '*.rs' | xargs ctags + +.PHONY: fake