This commit was manufactured by cvs2svn to create tag

[helm.git] / helm / gTopLevel / Makefile

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index f5bc93d9f33bafc67c62b6854b7a62e75f728de6..fb62256efa1654f97294c98d3d6a160684c8e97b 100644 (file)
--- 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,15 +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 styles && for i in ../stylesheets/*.xsl ; do ln -s $$i; done)
-       (cd styles && for i in ../stylesheets/generated/*.xsl ; do ln -s $$i; done)
-       (cd styles && rm rootcontent.xsl && ln -s ../rootcontent.xsl)
-       
 depend:
        $(OCAMLDEP) $(DEPOBJS) > .depend