release snapshot

[helm.git] / helm / configure.ac

diff --git a/helm/configure.ac b/helm/configure.ac
index 03a9ea05bae86a680eb1b990218eb7bded956c09..90d14f49f821f0b6515771015fe1e42682fa09d8 100644 (file)
--- a/helm/configure.ac
+++ b/helm/configure.ac
@@ -1,9 +1,9 @@
 AC_INIT(matita/matitaTypes.ml)
 
 # Distribution settings (i.e. settings to be manipulated before a release)
-DEBUG_DEFAULT="true"
-DEFAULT_DBHOST="mowgli.cs.unibo.it"
-RT_BASE_DIR_DEFAULT="`pwd`/matita"
+DEBUG_DEFAULT="false"
+DEFAULT_DBHOST="localhost"
+RT_BASE_DIR_DEFAULT="/usr/local/share/matita/"
 MATITA_VERSION="0.1.0"
 # End of distribution settings
 
@@ -175,8 +175,10 @@ AC_SUBST(RT_BASE_DIR)
 AC_SUBST(MATITA_VERSION)
 
 AC_OUTPUT([
+  $LIBSPATH/extlib/componentsConf.ml
   matita/matita.conf.xml.devel
   matita/matita.conf.xml.user
+  matita/matita.conf.xml.build
   matita/buildTimeConf.ml
   matita/gtkmathview.matita.conf.xml
   Makefile.defs