-change build time parameters. They are listed in the table below, together with
-their default values.
-
-Table 2.1. configure command line arguments
-
-┌──────────────────┬─────────┬────────────────────────────────────────────────┐
-│ Argument │ Default │ Description │
-├──────────────────┼─────────┼────────────────────────────────────────────────┤
-│--with-runtime-dir│/usr/ │Runtime base directory where all Matita stuff │
-│=dir │local/ │(executables, configuration files, standard │
-│ │matita/ │library, ...) will be installed │
-├──────────────────┼─────────┼────────────────────────────────────────────────┤
-│ │ │Default SQL server hostname. Will be used while │
-│ │ │building the standard library during the │
-│--with-dbhost=host│localhost│installation and to create the default Matita │
-│ │ │configuration. May be changed later in │
-│ │ │configuration file. │
-├──────────────────┼─────────┼────────────────────────────────────────────────┤
-│--enable-debug │disabled │Enable debugging code. Not for the casual user. │
-└──────────────────┴─────────┴────────────────────────────────────────────────┘
+change build time parameters. They are listed below, together with their
+default values:
+
+configure command line arguments
+
+--with-runtime-dir=dir
+
+ (Default: /usr/local/matita) Runtime base directory where all Matita 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 Matita configuration. May be changed later in configuration file.
+
+--enable-debug
+
+ (Default: disabled) Enable debugging code. Not for the casual user.