STRIP=sed '1,20{/newhead/d;/SunSITE/d;};s,\/Images\/,,'

all:
	mkdir -p tmp
	cat changes.html | $(STRIP) > tmp/changes.html
	cat documentation.html | $(STRIP) > tmp/documentation.html
	cat manual.html | $(STRIP) > tmp/manual.html
	cat team.html | $(STRIP) > tmp/team.html
	cp *.gif tmp
	cp *.txt tmp

clean:
	-rm -rf tmp
