development/scripts/readme/generatereadme.sh - gerrit/www.eclipse.org/eclipse - Git at Google

 cp  readme_eclipse.html readme_eclipse_old.html
 sed -i -e 's/4\.11/4\.12/g'  readme_eclipse.html
 sed -i -e 's/4_11/4_12/g' readme_eclipse.html
 sed -i -e 's/4\.10/4\.11/g' readme_eclipse.html
	cp readme_eclipse.html readme_eclipse_old.html
	sed -i -e 's/4\.11/4\.12/g' readme_eclipse.html
	sed -i -e 's/4_11/4_12/g' readme_eclipse.html
	sed -i -e 's/4\.10/4\.11/g' readme_eclipse.html