From 75453446a786cc02f8570c48d291026612b98625 Mon Sep 17 00:00:00 2001
From: "Daniel R. Grayson" <dan@math.uiuc.edu>
Date: Fri, 23 Oct 2015 13:17:42 -0400
Subject: [PATCH] add examples/Makefile for ctt tags files

---
 examples/Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 examples/Makefile

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)
-- 
2.34.1