add "make TAGS" command, using hasktags

diff --git a/Makefile b/Makefile
index aad69371ddf9c7cea7f0a7c9fdde4a498fd0daa7..53b7cf0cfa83b48396807615cd72a81903928edc 100644 (file)
--- 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