make_archive.sh 113 Bytes
Newer Older
1 2 3
ARCHIVE=iris-time-proofs.tar.gz
rm -f $ARCHIVE
tar -czvf $ARCHIVE README.md src/Makefile src/_CoqProject src/*.v