X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;h=fb62256efa1654f97294c98d3d6a160684c8e97b;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=f7738091b9b8224d4f802a24a4ebe71377f42c3f;hpb=94b1200cde6becefba4ee80469190284f74fe91c;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index f7738091b..fb62256ef 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -13,8 +13,8 @@ OCAMLDEP = ocamldep -pp camlp4o
 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 
-all: styles gTopLevel
-opt: styles gTopLevel.opt
+all: gTopLevel
+opt: gTopLevel.opt
 
 DEPOBJS = \
 	xml2Gdome.ml xml2Gdome.mli proofEngine.ml proofEngine.mli \
@@ -34,16 +34,6 @@ TOPLEVELOBJS = \
 	termEditor.cmo texTermEditor.cmo applyStylesheets.cmo termViewer.cmo \
 	invokeTactics.cmo hbugs.cmo gTopLevel.cmo
 
-styles:
-	@echo "***********************************************************************"
-	@if [ -d stylesheets -a -d meta_stylesheets ] ; then echo -e "* stylesheets and metastylesheets found:                              *\\n* I will create the request hyperlinks in styles                      *" ; else echo -e "* stylesheets or meta_stylesheets not found:                          *\\n* you should check-out the two directories from the MoWGLI repository *" ; exit -1 ; fi
-	@echo "***********************************************************************"
-	mkdir styles
-	(cd stylesheets && for i in *.xsl ; do ln -s ../stylesheets/$$i ../styles/$$i ; done)
-	(cd stylesheets/generated && for i in *.xsl ; do ln -s ../stylesheets/generated/$$i ../../styles/$$i ; done)
-	rm styles/rootcontent.xsl
-	ln -s ../rootcontent.xsl styles/rootcontent.xsl
-
 depend:
 	$(OCAMLDEP) $(DEPOBJS) > .depend