#/bin/sh -f

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