From 13980845b34fb3c91b97cf06c3fac293bed56c33 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Sep 2001 16:04:59 +0000
Subject: New files.

---
 html/Kit/Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 html/Kit/Makefile

(limited to 'html')

diff --git a/html/Kit/Makefile b/html/Kit/Makefile
new file mode 100644
index 00000000..b35b720b
--- /dev/null
+++ b/html/Kit/Makefile
@@ -0,0 +1,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
-- 
cgit v1.2.3