]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/Makefile.in
...
[helm.git] / helm / configuration / Makefile.in
index 95442f35a958660351795b4e32bf349c89f62b08..a99ad62f092a05d29c245f2d8e205004ddc3b90a 100644 (file)
@@ -6,6 +6,7 @@ install:
        mkdir -p $(HELM_LIB_DIR)
        mkdir -p $(HELM_ETC_DIR)
        mkdir -p $(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 \
          etc/helm-font-configuration.xml etc/helm-math-engine-configuration.xml\