blob: b35b720b6d9169bfb580e4cffc2555c3c16a55f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#
# Update dtds from PG Kit repository.
#
.PHONY: dtdupdate
DTDTARGS=dtd/pgip.dtd dtd/pgml.dtd
# checkout in temp dir because otherwise CVS complains of repo clash (fixes?)
dtdupdate:
mkdir dtdtmp; cvs -d :ext:da@localssh.dcs.ed.ac.uk:/home/proofgen/src export -kv -D today -d dtdtmp Kit/dtd; mv dtdtmp/* dtd; rmdir dtdtmp; cvs commit -m"Updated from Kit repo" dtd
|
