X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_install.xml;h=44e46b7fcfb93f0ffa9dd70378df533606464bac;hb=9376f52b7f5890d924ae7d93bcae2af9e516126d;hp=be9ddaa11364bae4257f0ed3b13ce55ef7c9cba7;hpb=726848939b8f9ade553a6dbf3586fc7b7c8299ee;p=helm.git
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index be9ddaa11..44e46b7fc 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -274,57 +274,60 @@
Quite a few (optional) arguments may be passed to the
configure command line to change build time
- parameters. They are listed in the table below, together with their
- default values.
+ parameters. They are listed below, together with their
+ default values:
-
+
configure command line
arguments
-
-
-
- Argument
- Default
- Description
-
-
-
-
-
- --with-runtime-dir=dir
-
- /usr/local/matita/
- Runtime base directory where all &appname; stuff
- (executables, configuration files, standard
- library, ...) will be installed
-
-
-
- --with-dbhost=host
-
- localhost
- Default SQL server hostname. Will be used while
- building the standard library during the installation and to
- create the default &appname; configuration. May be changed
- later in configuration file.
-
-
- --enable-debug
- disabled
- Enable debugging code. Not for the casual user.
-
-
-
-
-
-
+
+
+ --with-runtime-dir=dir
+
+
+
+ (Default:
+ /usr/local/matita) Runtime base directory
+ where all &appname; stuff (executables, configuration files,
+ standard library, ...) will be installed
+
+
+
+
+
+
+ --with-dbhost=host
+
+
+
+ (Default: localhost) Default SQL server
+ hostname. Will be used while building the standard library
+ during the installation and to create the default &appname;
+ configuration. May be changed later in configuration file.
+
+
+
+
+
+
+ --enable-debug
+
+
+
+ (Default: disabled) Enable debugging code.
+ Not for the casual user.
+
+
+
+
Then you will manage the build and install process using
make
as usual. Below are reported the targets you have to invoke in sequence
- to build and install.
+ to build and install:
+
make targets
@@ -357,11 +360,18 @@
-
-
+
+
+ Configuring Matita
+
+ The file matita.conf.xml...
+ &TODO;
+
+
+