From cb6122e0aa8a97fc5bd4e91601e3c2c1bf44b7b3 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 --- matita/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/Makefile b/matita/Makefile index 75d878780..40a374728 100644 --- a/matita/Makefile +++ b/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.2