]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/config.cache.pkg
ocaml 3.09 transition
[helm.git] / helm / xsltd / config.cache.pkg
index 6c23c194e1ecc0c8615cc2c4ed09844236218420..97be23b134bf77b9012a31489bb979dbfca216c4 100644 (file)
@@ -1,4 +1,4 @@
 # This is the config.cache that holds the ``standard'' path for the
 # HELM library. It is supposed to be used when creating packages
 
-helm_cv_HELM_STYLES_DIR=${helm_cv_HELM_STYLES_DIR='$RESOLVED_PREFIX/shared/helm/style'}
+helm_cv_HELM_STYLES_DIR=${helm_cv_HELM_STYLES_DIR='$RESOLVED_PREFIX/share/helm/style'}