X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=dist;fp=dist;h=b238b0cbe6344f2194ae8cf37d2f8225a203c845;hb=b38a28e3fe204e7e7a8192ec2e03e959b7a0c570;hp=0000000000000000000000000000000000000000;hpb=d79c4d9e52c2c9162b2a6336460337bb158c42a0;p=pkg-cerco%2Facc-trusted.git

diff --git a/dist b/dist
new file mode 100755
index 0000000..b238b0c
--- /dev/null
+++ b/dist
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+TGT=acc-trusted-0.1
+
+rm -rf $TGT
+svn export . $TGT
+rm $TGT/cparser
+svn export `readlink cparser` $TGT/cparser
+tar -czf $TGT.tar.gz $TGT
+rm -rf $TGT