From: Daniel R. Grayson <dan@math.uiuc.edu>
Date: Mon, 19 Oct 2015 20:13:13 +0000 (-0400)
Subject: add "make TAGS" command, using hasktags
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=c00b0b434a778eca34fc1322306f940f998a8f99;p=cubicaltt.git

add "make TAGS" command, using hasktags
---

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