X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2FMakefile.in;h=1dde997e77df5f40c9eb6f73a24b26a817f82402;hb=2540cc551ae097178c7e11ec578b58977a35bd3b;hp=8f86273e19e0e9e79b0c7c2b49c75d7e62f468c4;hpb=b11b04010e38e8faacfe3bca32bcd28cb899eb39;p=helm.git diff --git a/helm/xsltd/Makefile.in b/helm/xsltd/Makefile.in index 8f86273e1..1dde997e7 100644 --- a/helm/xsltd/Makefile.in +++ b/helm/xsltd/Makefile.in @@ -1,20 +1,9 @@ HELM_LIB_DIR=@HELM_LIB_DIR@ -HELM_ETC_DIR=@HELM_ETC_DIR@ -HELM_LIBRARY_DIR=@HELM_LIBRARY_DIR@ -CONFIGURATION_DTD_DIR=@CONFIGURATION_DTD_DIR@ -CONFIGURATION_HELM_DIR=@CONFIGURATION_HELM_DIR@ +HELM_BIN_DIR=@HELM_BIN_DIR@ install: - mkdir -p $(HELM_LIB_DIR) - mkdir -p $(HELM_ETC_DIR) - mkdir -p $(CONFIGURATION_HELM_DIR) - chmod 1777 $(CONFIGURATION_HELM_DIR) - mkdir -p $(CONFIGURATION_DTD_DIR) - cp lib/configuration.pl $(HELM_LIB_DIR) - cp etc/configuration.dtd etc/configuration.xml etc/helm-dictionary.xml \ - etc/helm-font-configuration.xml etc/helm-math-engine-configuration.xml\ - $(HELM_ETC_DIR) - cp library/servers.txt library/urls_of_uris.db $(HELM_LIBRARY_DIR) + cp xaland.class $(HELM_LIB_DIR) + cp start-xaland $(HELM_BIN_DIR) distclean: rm -f Makefile configure config.log config.cache config.status \