Makefile
changeset 3075 ba653e217e4e
parent 3058 16a6e9abe911
child 3106 a634c95910f8
--- a/Makefile	Tue Jun 08 15:12:56 2010 +0000
+++ b/Makefile	Thu Jun 10 21:56:58 2010 +0000
@@ -9,11 +9,14 @@
 
 VALIDATOR_URI = http://localhost/w3c-validator/check
 
-all: htdocs/docs/errors.html
+all: htdocs/docs/errors.html htdocs/sgml-lib/catalog.xml
 
 htdocs/docs/errors.html: misc/docs_errors.pl share/templates/en_US/error_messages.cfg share/templates/en_US/docs_errors.tmpl htdocs/config/validator.conf
 	env W3C_VALIDATOR_HOME=. W3C_VALIDATOR_CFG=htdocs/config/validator.conf misc/docs_errors.pl > $@
 
+htdocs/sgml-lib/catalog.xml: misc/soc2xml.pl htdocs/sgml-lib/xml.soc
+	misc/soc2xml.pl < htdocs/sgml-lib/xml.soc > $@
+
 test:
 	misc/testsuite/harness.py --validator_uri=$(VALIDATOR_URI) run