From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 20 Dec 2018 22:12:36 +0000 (+0100)
Subject: Use lablgladecc -embed again
X-Git-Tag: make_still_working~229^2~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2b9f8373fa1d5eaecb3998a8ba934b66d852bf10

Use lablgladecc -embed again
---

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