]> matita.cs.unibo.it Git - helm.git/commitdiff
1777 (1 = sticky bit) for the library dir
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:12:50 +0000 (09:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:12:50 +0000 (09:12 +0000)
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 \