From c05d3849b1b4edfa699523225436d8fec297f4bc Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Wed, 6 Jul 2016 13:39:38 +0200 Subject: [PATCH] don't hardcode list of ctt files in Makefile for generating TAGS file --- examples/Makefile | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 \ -- 2.34.1