X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmetadata%2Fdumps%2FREADME;fp=helm%2Fsoftware%2Fmetadata%2Fdumps%2FREADME;h=cee8c4eb4c87b09586b1ebb0f50855fc03064a85;hb=3c5c755b014fb99412ae4ebf845409c4f2c9a9d2;hp=e38d548564a062812989bcae4162d256ae5724a7;hpb=f5d883e793e11d42e2d6aa9cc16f5ea02aa84818;p=helm.git

diff --git a/helm/software/metadata/dumps/README b/helm/software/metadata/dumps/README
index e38d54856..cee8c4eb4 100644
--- a/helm/software/metadata/dumps/README
+++ b/helm/software/metadata/dumps/README
@@ -1,3 +1,7 @@
 Dumps of the Matita database containing rows regarding the Coq exportation.
 
+The recommended way to create the dumps is the following:
+
+  mysqldump --no-create-info --extended-insert matita | gzip -c > matita_dump_`date +%s`.gz
+
 Tue, 14 Feb 2006 13:36:16 -0500 zack