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

diff --git a/examples/Makefile b/examples/Makefile
index a2a24e67127f23896f09fe8058d2d08ca495205b..8528ed7da6eef0a2008f750a119993d0a4f21093 100644 (file)
--- 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 \