]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - dist
projects / pkg-cerco / acc-trusted.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Control and copyright added.
[pkg-cerco/acc-trusted.git] / dist
1 #!/bin/sh
2
3 TGT=acc-trusted-0.1
4
5 rm -rf $TGT
6 svn export . $TGT
7 rm $TGT/cparser
8 svn export `readlink cparser` $TGT/cparser
9 tar -czf $TGT.tar.gz $TGT
10 rm -rf $TGT
Unnamed repository; edit this file 'description' to name the repository.