diff en/Makefile @ 687:188efaefe001

How to make all-ids.dat.
author Bryan O'Sullivan <bos@serpentine.com>
date Thu, 19 Mar 2009 22:45:02 -0700
parents 5bfa0df6aaed
children 0b45854f0b7b
line wrap: on
line diff
--- a/en/Makefile	Thu Mar 19 22:44:35 2009 -0700
+++ b/en/Makefile	Thu Mar 19 22:45:02 2009 -0700
@@ -146,6 +146,9 @@
 	cp ../xsl/system-xsl/images/*.png $(obj-websup)/figs
 	cp -f ../web/icons/*.png $(obj-websup)/figs
 
+all-ids.dat: ../xsl/all-ids.xsl $(xml-src-files)
+	$(xsltproc) $(xsltproc-opts) -o $@ ../xsl/all-ids.xsl 00book.xml
+
 web: websup
 
 valid: .validated-00book.xml