+DEPOBJS = \
+ proofEngine.ml proofEngine.mli eta_fixing.ml eta_fixing.mli \
+ content2cic.ml content2cic.mli logicalOperations.ml \
+ logicalOperations.mli disambiguate.ml disambiguate.mli termEditor.ml \
+ termEditor.mli texTermEditor.ml texTermEditor.mli termViewer.ml \
+ termViewer.mli invokeTactics.ml invokeTactics.mli hbugs.ml hbugs.mli \
+ gTopLevel.ml
+
+TOPLEVELOBJS = \
+ eta_fixing.cmo content2cic.cmo \
+ proofEngine.cmo logicalOperations.cmo \
+ disambiguate.cmo termEditor.cmo texTermEditor.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)
+