Support for automatic stylesheet configuration retrieval started

[helm.git] / helm / interface / Makefile.in

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 2e92fd82be5209443ca88ca55a638924640c1c54..a6e9eae908ae939e6a08b6147bbfb570c140cc71 100644 (file)
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -36,7 +36,7 @@ DEPOBJS = experiment.ml cicCache.ml cicCache.mli cicPp.ml cicPp.mli \
           cicCooking.ml cicCooking.mli cicFindParameters.ml theoryCache.ml \
           fix_params.ml cic2Xml.ml xml.ml uriManager.ml uriManager.mli \
           cicSubstitution.ml cicSubstitution.mli \
-          mmlinterface.ml configuration.ml \
+          mmlinterface.ml configuration.ml styleConfiguration.ml \
           xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \
           annotationParser.ml annotationParser2.ml annotation2Xml.ml \
           cicAnnotationHinter.ml