commit 7d75570c12842f61e688103b88d9b098f532c2da parent 243f6cecd738833cdef5500e5e02b204ba12d618 Author: William Casarin <jb55@jb55.com> Date: Mon, 25 Dec 2023 10:45:51 -0800 make: fix tags Diffstat:
| M | Makefile | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile @@ -1,5 +1,5 @@ tags: fake - find src -name '*.rs' | xargs ctags + find . -type d -name target -prune -o -type f -name '*.rs' -print | xargs ctags .PHONY: fake