From 00dfe954a92fb68601a72f0453d88f4af14a40c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Sep 2003 23:37:05 +0000
Subject: Updated.

---
 html/Kit/Makefile | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

(limited to 'html/Kit')

diff --git a/html/Kit/Makefile b/html/Kit/Makefile
index b35b720b..3a4e7591 100644
--- a/html/Kit/Makefile
+++ b/html/Kit/Makefile
@@ -1,11 +1,16 @@
 #
-# Update dtds from PG Kit repository.
+# Update exported Kit files from PG Kit repository.
+# [interim]
 #
 
-.PHONY: dtdupdate
+.PHONY: update
 
-DTDTARGS=dtd/pgip.dtd dtd/pgml.dtd
+CVSROOT=:pserver:da@cvs.inf.ed.ac.uk:/disk/cvs/proofgen
 
-# 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
+# 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"
-- 
cgit v1.2.3