X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FMakefile;h=35484ddf6bb323f693ff7b4f2446c3f840c3e3aa;hb=286fabbf6e0f1ccc44f05414c4eab5c742c2a126;hp=210920abe280e144ba9e1f864479bbb6f90f017d;hpb=f34f2623a3133e235331d0c0c1830ec213dd09f1;p=helm.git

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 210920abe..35484ddf6 100644
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -143,8 +143,7 @@ matitaclean.opt: matitac.opt
 	$(H)test -f $@ || ln -s $< $@
 
 matitaGeneratedGui.ml: matita.ui
-	#$(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
-	$(H)$(LABLGLADECC) $< > matitaGeneratedGui.ml
+	$(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
 
 
 .PHONY: clean