blob: 3a4e759166be4382175ad3e94f621f45ca683491 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#
# Update exported Kit files from PG Kit repository.
# [interim]
#
.PHONY: update
CVSROOT=:pserver:da@cvs.inf.ed.ac.uk:/disk/cvs/proofgen
# checkout in temp dir because otherwise CVS complains of working dir checkout
update:
mkdir kittmp
cvs -d ${CVSROOT} export -kv -D today -d kittmp kitwebfiles
(cd kittmp; tar -c . | (cd ..; tar -xp))
rm -rf kittmp
cvs commit -m"Updated from Kit repo"
|
