]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/Makefile.in
1777 (1 = sticky bit) for the library dir
[helm.git] / helm / configuration / Makefile.in
index a99ad62f092a05d29c245f2d8e205004ddc3b90a..fac26a6243c5950b2969cd62f86d6b9afc00105c 100644 (file)
@@ -6,6 +6,7 @@ install:
        mkdir -p $(HELM_LIB_DIR)
        mkdir -p $(HELM_ETC_DIR)
        mkdir -p $(HELM_LIBRARY_DIR)
+       chmod 1777 $(HELM_LIBRARY_DIR)
        mkdir -p $(CONFIGURATION_DTD_DIR)
        cp lib/configuration.pl $(HELM_LIB_DIR)
        cp etc/configuration.dtd etc/configuration.xml etc/helm-dictionary.xml \