]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:05:12 +0000 (09:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:05:12 +0000 (09:05 +0000)
helm/configuration/Makefile.in
helm/configuration/configure.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\
index 7d350700d79d9dd7ccb7351aa28a50bdb84a364d..caf98f382fc5ae6cee1ef883a62a84b7c7a5c1e4 100644 (file)
@@ -136,7 +136,6 @@ AC_SUBST(CONFIGURATION_DTD_DIR)
 AC_SUBST(CONFIGURATION_SERVERS_FILE)
 AC_SUBST(CONFIGURATION_URIS_DBM)
 AC_SUBST(CONFIGURATION_TMPDIR)
-AC_SUBST(CONFIGURATION_TMPDIR)
 
 AC_OUTPUT(
 [Makefile