]> matita.cs.unibo.it Git - helm.git/commitdiff
shared => share
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 16:45:08 +0000 (16:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 16:45:08 +0000 (16:45 +0000)
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'}