X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FMakefile;h=7339eaf418da5b2387a42cf4a5c7d57f302dc4c9;hb=04168c737e0916ebdbcdb1457f228bef670c657b;hp=ba9baef615895852b68703dc9eb79bb82e5fd567;hpb=24fc5e5485245fe879e17d46176530b688930b3b;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index ba9baef61..7339eaf41 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -52,7 +52,6 @@ MLI = \
 	predefined_virtuals.mli \
 	matitaMathView.mli 	\
 	matitaScript.mli	\
-	matitaGui.mli		\
 	$(NULL)
 CMLI =				\
 	matitaTypes.mli		\
@@ -96,7 +95,6 @@ ALL_NORMAL_ML =	                        \
                 cicMathView.ml          \
                 matitadaemon.ml         \
                 matitaGtkMisc.ml        \
-                matita.ml               \
                 virtuals.ml             \
                 lablGraphviz.ml         \
                 matitaEngine.ml         \
@@ -131,7 +129,7 @@ ALL_SYNTAX_ML = matitaScriptLexer.ml
 ALL_SYNTAX_MLI = matitaScriptLexer.mli
 
 PROGRAMS_BYTE = \
-	matita matitac matitadaemon matitaclean
+	matitac matitadaemon matitaclean
 PROGRAMS = $(PROGRAMS_BYTE) 
 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
 NOINST_PROGRAMS =
@@ -200,8 +198,6 @@ links:
 	$(H)ln -sf matitac.opt matitac
 
 linkonly:
-	$(H)echo "  OCAMLC matita.ml"
-	$(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) $(OCAML_DEBUG_FLAGS) matita.ml
 	$(H)echo "  OCAMLC matitac.ml"
 	$(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) $(OCAML_DEBUG_FLAGS) matitac.ml
 	$(H)echo "  OCAMLC matitadaemon.ml"