# HG changeset patch
# User Giulio@puck
# Date 1244994859 -7200
# Node ID 1819dd65d5f68e044c21f8c0d851ba905427ce94
# Parent  20defffb2a53ee15ec14705c0ed81bddcafad015
Account for figures in the building process.

diff -r 20defffb2a53 -r 1819dd65d5f6 it/Makefile
--- a/it/Makefile	Sun Jun 14 17:53:38 2009 +0200
+++ b/it/Makefile	Sun Jun 14 17:54:19 2009 +0200
@@ -19,6 +19,7 @@
 	cp ${web-global}/styles.css ${obj-web}
 	mkdir -p ${figs-web}
 	cp -f ${web-global}/icons/*.png $(figs-web)
+    cp -f examples/figs/*.png $(figs-web)
 	sed -i -e "s|/support/||g" ${obj-web}/*.html
 #	python ../web/texpand.py ../web/index-read.html.in html/read/index.html
 #	for i in $(obj-web-read)/*.html; do \