make_archive.sh 147 Bytes
Newer Older
1 2
ARCHIVE=iris-time-proofs.tar.gz
rm -f $ARCHIVE
3 4
find theories/ -type f -name '*.v' -exec \
	tar -czvf $ARCHIVE README.md Makefile _CoqProject {} \+