From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 09:12:50 +0000 (+0000) Subject: 1777 (1 = sticky bit) for the library dir X-Git-Tag: nogzip~52 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a283b3eb427aea774c6b48e88d90e1bc49c9c778;p=helm.git 1777 (1 = sticky bit) for the library dir --- diff --git a/helm/configuration/Makefile.in b/helm/configuration/Makefile.in index a99ad62f0..fac26a624 100644 --- a/helm/configuration/Makefile.in +++ b/helm/configuration/Makefile.in @@ -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 \