#/bin/sh -f

foreach file (*.wrl)
	gzip ${file}
	mv ${file:r}.wrl.gz ${file:r}.wrl
end
