refactoring ...

diff --git a/helm/www/lambda_delta/bin/xhtbl/Makefile.common b/helm/www/lambda_delta/bin/xhtbl/Makefile.common
index 63df6873def9a0035c2c221bf8a26e063360e87e..bf944971b2884bfd72ab2c7e53acb1e808e046b2 100644 (file)
--- a/helm/www/lambda_delta/bin/xhtbl/Makefile.common
+++ b/helm/www/lambda_delta/bin/xhtbl/Makefile.common
@@ -1,6 +1,6 @@
 H=@
 
-include Makefile.defs
+include ../../etc/Makefile.defs
 
 DIST=$(EXEC)---$(VERSION)
 DATE=$(shell date +%y%m%d)

diff --git a/helm/www/lambda_delta/bin/xhtbl/Makefile.defs b/helm/www/lambda_delta/bin/xhtbl/Makefile.defs
deleted file mode 100644 (file)
index 4fb7bad..0000000
--- a/helm/www/lambda_delta/bin/xhtbl/Makefile.defs
+++ /dev/null
@@ -1,19 +0,0 @@
-ifeq ($(origin OCAMLPATH), undefined)
-OCAMLFIND = OCAMLPATH=/home/fguidi/svn/helm-stable/software/components/METAS ocamlfind
-else
-OCAMLFIND = ocamlfind
-endif
-CAMLP5O = camlp5o
-LABLGLADECC = lablgladecc2
-HAVE_OCAMLOPT = yes
-DISTRIBUTED = no
-ANNOT = false
-
-MATITA_REQUIRES =  helm-disambiguation helm-cic_disambiguation helm-grafite helm-grafite_engine helm-tptp_grafite helm-ng_disambiguation helm-ng_cic_content helm-grafite_parser helm-acic_procedural helm-content_pres helm-hgdome helm-tactics helm-ng_paramodulation helm-ng_tactics helm-cic_exportation   lablgtk2.glade lablgtkmathview lablgtksourceview2.gtksourceview2 helm-xmldiff 
-MATITA_CREQUIRES =  helm-disambiguation helm-cic_disambiguation helm-grafite helm-grafite_engine helm-tptp_grafite helm-ng_disambiguation helm-ng_cic_content helm-grafite_parser helm-acic_procedural helm-content_pres helm-hgdome helm-tactics helm-ng_paramodulation helm-ng_tactics helm-cic_exportation  
-
-MATITA_VERSION = 0.5.8
-
-SRCROOT = /home/fguidi/svn/helm-stable/software
-RT_BASE_DIR = /home/fguidi/svn/helm-stable/software/matita
-DBHOST = mysql://mowgli.cs.unibo.it