From: Daniel R. Grayson <dan@math.uiuc.edu>
Date: Fri, 23 Oct 2015 17:17:42 +0000 (-0400)
Subject: add examples/Makefile for ctt tags files
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=75453446a786cc02f8570c48d291026612b98625;p=cubicaltt.git

add examples/Makefile for ctt tags files
---

diff --git a/examples/Makefile b/examples/Makefile
new file mode 100644
index 0000000..a2a24e6
--- /dev/null
+++ b/examples/Makefile
@@ -0,0 +1,13 @@
+CTTFILES := aim.ctt bool.ctt circle.ctt collection.ctt demo.ctt discor.ctt			\
+		equiv.ctt ex1.ctt gradLemma.ctt groupoidTrunc.ctt hedberg.ctt hnat.ctt		\
+		indSusp.ctt int.ctt integer.ctt interval.ctt list.ctt mult.ctt multS1.ctt	\
+		nat.ctt pi.ctt prelude.ctt prop.ctt quotient.ctt retract.ctt sigma.ctt susp.ctt	\
+		torus.ctt univalence.ctt
+
+ETAGSOPTS := \
+	--language=none \
+	--regex='/^\([[:alnum:]]+\) *:/\1/' \
+	--regex='/^data +\([[:alnum:]]+\) +=/\1/' \
+	--regex='/^module +\([[:alnum:]]+\) +where/\1/'
+
+TAGS: Makefile $(CTTFILES); etags $(ETAGSOPTS) $(CTTFILES)