From: Claudio Sacerdoti Coen Date: Mon, 8 Nov 2004 11:46:56 +0000 (+0000) Subject: ... X-Git-Tag: v_0_6_4_1~22 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d6bdacb3cf305051e9e19f8b0422a33315a9279b;p=helm.git ... --- diff --git a/helm/metadata/README b/helm/metadata/README new file mode 100644 index 000000000..5e83286a2 --- /dev/null +++ b/helm/metadata/README @@ -0,0 +1,11 @@ +To generate the metadata and refill the DB: + +make indexes +make fill_db.sql +make drop_tables +make create_tables +make fill_db +cd dc +make drop_tables +make create_tables +make fill_db