From c00b0b434a778eca34fc1322306f940f998a8f99 Mon Sep 17 00:00:00 2001 From: "Daniel R. Grayson" Date: Mon, 19 Oct 2015 16:13:13 -0400 Subject: [PATCH] add "make TAGS" command, using hasktags --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index aad6937..53b7cf0 100644 --- a/Makefile +++ b/Makefile @@ -27,6 +27,9 @@ Makefile depends: .depends-made $(GRAMMAR_FILES): Exp.cf; bnfc --haskell -d Exp.cf bnfc:; $(GHC) --make -O$(OPT) Exp/Test.hs -o Exp/Test + +TAGS:; hasktags --etags $(INPUT) + clean:; rm -rf Exp *.log *.aux *.hi *.o cubical git-clean:; git clean -Xdfq -- 2.34.1