]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/config.cache.pkg
...
[helm.git] / helm / xsltd / config.cache.pkg
index 0900d904bc0801eef9dc36883417477ac1d2ca6b..6c23c194e1ecc0c8615cc2c4ed09844236218420 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_LIBRARY_DIR=${helm_cv_HELM_LIBRARY_DIR='$RESOLVED_PREFIX/var/helm'}
+helm_cv_HELM_STYLES_DIR=${helm_cv_HELM_STYLES_DIR='$RESOLVED_PREFIX/shared/helm/style'}