for i in *.html 
do 
	if [ ! -e html_text/$i -o $i -nt html_text/$i ]
	then 
		echo $i
		cat $i | \
				(echo "<head><title>$i</title></head>" ; \
				echo "<pre>" ; \
				sed "s/</\&lt;/g;s/>/\&gt;/g;s/	/    /g" ;\
				echo "</pre>") \
				> html_text/$i
	fi
done

for i in examples.js window.js
do
	if [ ! -e html_text/$i.txt -o ../$i -nt html_text/$i.txt ]
	then
		echo $i
		cp ../$i html_text/$i.txt
	fi
done

for i in *.map *.js
do
	if [ ! -e html_text/$i.txt -o $i -nt html_text/$i.txt ]
	then
		echo $i
		cp $i html_text/$i.txt
	fi
done
