1.1 --- a/it/Makefile	Wed Jun 17 17:28:32 2009 +0200
     1.2 +++ b/it/Makefile	Wed Jun 17 18:18:09 2009 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4      
     1.5  obj-web := html
     1.6  figs-web := ${obj-web}/figs
     1.7 +script-web := $(obj-web)/javascript
     1.8  web-global := ../web
     1.9  web-local := web
    1.10  
    1.11 @@ -21,6 +22,8 @@
    1.12  	mkdir -p ${figs-web}
    1.13  	cp -f ${web-global}/icons/*.png $(figs-web)
    1.14  	cp -f examples/figs/*.png $(figs-web)
    1.15 +	mkdir -p $(script-web)
    1.16 +	cp -f $(web-local)/*.js $(script-web)
    1.17  	sed -i -e "s|/support/||g" ${obj-web}/*.html
    1.18  #	python ../web/texpand.py ../web/index-read.html.in html/read/index.html
    1.19  #	for i in $(obj-web-read)/*.html; do \