From 0927e99496346a4b713e454c61a5246b778a0b04 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 6 Feb 2006 11:18:22 +0000 Subject: [PATCH] s/ocaml/components/ in the "tag" target --- helm/software/matita/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 75d878780..40a374728 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -299,7 +299,7 @@ distclean: clean tags: TAGS .PHONY: TAGS TAGS: - cd ..; otags -vi -r ocaml/ matita/ + cd ..; otags -vi -r components/ matita/ #.depend: matitaGeneratedGui.ml matitaGeneratedGui.mli *.ml *.mli -- 2.39.5