From 8f52ce7758aeb11e236c88b4fedb87a53e4f8753 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 16 Dec 2003 13:49:09 +0000
Subject: [PATCH] moved META files in METAS/ dir

---
 helm/ocaml/.cvsignore                         | 20 -------------------
 helm/ocaml/METAS/.cvsignore                   | 20 +++++++++++++++++++
 helm/ocaml/{ => METAS}/META.helm-cic.src      |  0
 .../{ => METAS}/META.helm-cic_annotations.src |  0
 .../META.helm-cic_annotations_cache.src       |  0
 .../ocaml/{ => METAS}/META.helm-cic_cache.src |  0
 .../ocaml/{ => METAS}/META.helm-cic_omdoc.src |  0
 .../META.helm-cic_proof_checking.src          |  0
 .../META.helm-cic_textual_parser.src          |  0
 .../META.helm-cic_textual_parser2.src         |  0
 .../META.helm-cic_transformations.src         |  0
 .../{ => METAS}/META.helm-cic_unification.src |  0
 helm/ocaml/{ => METAS}/META.helm-getter.src   |  0
 helm/ocaml/{ => METAS}/META.helm-mathql.src   |  0
 .../META.helm-mathql_generator.src            |  0
 .../META.helm-mathql_interpreter.src          |  0
 helm/ocaml/{ => METAS}/META.helm-pxp.src      |  0
 helm/ocaml/{ => METAS}/META.helm-tactics.src  |  0
 .../META.helm-tex_cic_textual_parser.src      |  0
 .../{ => METAS}/META.helm-urimanager.src      |  0
 helm/ocaml/{ => METAS}/META.helm-xml.src      |  0
 helm/ocaml/Makefile.in                        | 14 +++++++------
 22 files changed, 28 insertions(+), 26 deletions(-)
 create mode 100644 helm/ocaml/METAS/.cvsignore
 rename helm/ocaml/{ => METAS}/META.helm-cic.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_annotations.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_annotations_cache.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_cache.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_omdoc.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_proof_checking.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_textual_parser.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_textual_parser2.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_transformations.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-cic_unification.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-getter.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-mathql.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-mathql_generator.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-mathql_interpreter.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-pxp.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-tactics.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-tex_cic_textual_parser.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-urimanager.src (100%)
 rename helm/ocaml/{ => METAS}/META.helm-xml.src (100%)

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
index 5d79f6bc0..89abd8c99 100644
--- a/helm/ocaml/.cvsignore
+++ b/helm/ocaml/.cvsignore
@@ -1,23 +1,3 @@
-META.helm-cic
-META.helm-cic_annotations
-META.helm-cic_annotations_cache
-META.helm-cic_cache
-META.helm-cic_proof_checking
-META.helm-tex_cic_textual_parser
-META.helm-cic_textual_parser
-META.helm-cic_textual_parser2
-META.helm-cic_unification
-META.helm-getter
-META.helm-mathql
-META.helm-mathql_interpreter
-META.helm-mathql_test
-META.helm-mathql_generator
-META.helm-pxp
-META.helm-tactics
-META.helm-urimanager
-META.helm-xml
-META.helm-cic_transformations
-META.helm-cic_omdoc
 Makefile
 Makefile.common
 autom4te.cache
diff --git a/helm/ocaml/METAS/.cvsignore b/helm/ocaml/METAS/.cvsignore
new file mode 100644
index 000000000..e9a597698
--- /dev/null
+++ b/helm/ocaml/METAS/.cvsignore
@@ -0,0 +1,20 @@
+META.helm-cic
+META.helm-cic_annotations
+META.helm-cic_annotations_cache
+META.helm-cic_cache
+META.helm-cic_proof_checking
+META.helm-tex_cic_textual_parser
+META.helm-cic_textual_parser
+META.helm-cic_textual_parser2
+META.helm-cic_unification
+META.helm-getter
+META.helm-mathql
+META.helm-mathql_interpreter
+META.helm-mathql_test
+META.helm-mathql_generator
+META.helm-pxp
+META.helm-tactics
+META.helm-urimanager
+META.helm-xml
+META.helm-cic_transformations
+META.helm-cic_omdoc
diff --git a/helm/ocaml/META.helm-cic.src b/helm/ocaml/METAS/META.helm-cic.src
similarity index 100%
rename from helm/ocaml/META.helm-cic.src
rename to helm/ocaml/METAS/META.helm-cic.src
diff --git a/helm/ocaml/META.helm-cic_annotations.src b/helm/ocaml/METAS/META.helm-cic_annotations.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_annotations.src
rename to helm/ocaml/METAS/META.helm-cic_annotations.src
diff --git a/helm/ocaml/META.helm-cic_annotations_cache.src b/helm/ocaml/METAS/META.helm-cic_annotations_cache.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_annotations_cache.src
rename to helm/ocaml/METAS/META.helm-cic_annotations_cache.src
diff --git a/helm/ocaml/META.helm-cic_cache.src b/helm/ocaml/METAS/META.helm-cic_cache.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_cache.src
rename to helm/ocaml/METAS/META.helm-cic_cache.src
diff --git a/helm/ocaml/META.helm-cic_omdoc.src b/helm/ocaml/METAS/META.helm-cic_omdoc.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_omdoc.src
rename to helm/ocaml/METAS/META.helm-cic_omdoc.src
diff --git a/helm/ocaml/META.helm-cic_proof_checking.src b/helm/ocaml/METAS/META.helm-cic_proof_checking.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_proof_checking.src
rename to helm/ocaml/METAS/META.helm-cic_proof_checking.src
diff --git a/helm/ocaml/META.helm-cic_textual_parser.src b/helm/ocaml/METAS/META.helm-cic_textual_parser.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_textual_parser.src
rename to helm/ocaml/METAS/META.helm-cic_textual_parser.src
diff --git a/helm/ocaml/META.helm-cic_textual_parser2.src b/helm/ocaml/METAS/META.helm-cic_textual_parser2.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_textual_parser2.src
rename to helm/ocaml/METAS/META.helm-cic_textual_parser2.src
diff --git a/helm/ocaml/META.helm-cic_transformations.src b/helm/ocaml/METAS/META.helm-cic_transformations.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_transformations.src
rename to helm/ocaml/METAS/META.helm-cic_transformations.src
diff --git a/helm/ocaml/META.helm-cic_unification.src b/helm/ocaml/METAS/META.helm-cic_unification.src
similarity index 100%
rename from helm/ocaml/META.helm-cic_unification.src
rename to helm/ocaml/METAS/META.helm-cic_unification.src
diff --git a/helm/ocaml/META.helm-getter.src b/helm/ocaml/METAS/META.helm-getter.src
similarity index 100%
rename from helm/ocaml/META.helm-getter.src
rename to helm/ocaml/METAS/META.helm-getter.src
diff --git a/helm/ocaml/META.helm-mathql.src b/helm/ocaml/METAS/META.helm-mathql.src
similarity index 100%
rename from helm/ocaml/META.helm-mathql.src
rename to helm/ocaml/METAS/META.helm-mathql.src
diff --git a/helm/ocaml/META.helm-mathql_generator.src b/helm/ocaml/METAS/META.helm-mathql_generator.src
similarity index 100%
rename from helm/ocaml/META.helm-mathql_generator.src
rename to helm/ocaml/METAS/META.helm-mathql_generator.src
diff --git a/helm/ocaml/META.helm-mathql_interpreter.src b/helm/ocaml/METAS/META.helm-mathql_interpreter.src
similarity index 100%
rename from helm/ocaml/META.helm-mathql_interpreter.src
rename to helm/ocaml/METAS/META.helm-mathql_interpreter.src
diff --git a/helm/ocaml/META.helm-pxp.src b/helm/ocaml/METAS/META.helm-pxp.src
similarity index 100%
rename from helm/ocaml/META.helm-pxp.src
rename to helm/ocaml/METAS/META.helm-pxp.src
diff --git a/helm/ocaml/META.helm-tactics.src b/helm/ocaml/METAS/META.helm-tactics.src
similarity index 100%
rename from helm/ocaml/META.helm-tactics.src
rename to helm/ocaml/METAS/META.helm-tactics.src
diff --git a/helm/ocaml/META.helm-tex_cic_textual_parser.src b/helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src
similarity index 100%
rename from helm/ocaml/META.helm-tex_cic_textual_parser.src
rename to helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src
diff --git a/helm/ocaml/META.helm-urimanager.src b/helm/ocaml/METAS/META.helm-urimanager.src
similarity index 100%
rename from helm/ocaml/META.helm-urimanager.src
rename to helm/ocaml/METAS/META.helm-urimanager.src
diff --git a/helm/ocaml/META.helm-xml.src b/helm/ocaml/METAS/META.helm-xml.src
similarity index 100%
rename from helm/ocaml/META.helm-xml.src
rename to helm/ocaml/METAS/META.helm-xml.src
diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index c53a83b5a..5ecff06a0 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -8,15 +8,17 @@ MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@
 
-METAS = $(MODULES:%=META.helm-%)
+METAS = $(MODULES:%=METAS/META.helm-%)
 CWD=`pwd`
 
-all: $(METAS) $(MODULES:%=%.all)
-opt: $(METAS) $(MODULES:%=%.opt)
+all: metas $(MODULES:%=%.all)
+opt: metas $(MODULES:%=%.opt)
+metas: $(METAS)
 depend: $(MODULES:%=%.depend)
 install: $(MODULES:%=%.install)
 uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean)
+clean: $(MODULES:%=%.clean) clean_metas
+clean_metas:
 	rm -f $(METAS)
 
 dist-clean: clean
@@ -38,8 +40,8 @@ $(MODULES:%=%.uninstall):
 	rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
 $(MODULES:%=%.clean):
 	cd $(@:%.clean=%) && make clean
-META.helm-%: META.helm-%.src
-	cp $< $@ && echo "directory=\"$(CWD)/$(@:META.helm-%=%)\"" >> $@
+METAS/META.helm-%: METAS/META.helm-%.src
+	cp $< $@ && echo "directory=\"$(CWD)/$*\"" >> $@
 
 .PHONY: .dep.dot
 .dep.dot:
-- 
2.39.2