From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Wed, 6 Jul 2016 11:39:38 +0000 (+0200)
Subject: don't hardcode list of ctt files in Makefile for generating TAGS file
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=c05d3849b1b4edfa699523225436d8fec297f4bc;p=cubicaltt.git

don't hardcode list of ctt files in Makefile for generating TAGS file
---

diff --git a/examples/Makefile b/examples/Makefile
index a2a24e6..8528ed7 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -1,8 +1,4 @@
-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
+CTTFILES := $(shell ls *ctt)
 
 ETAGSOPTS := \
 	--language=none \