Mentor-Graphics.xml

<!--
	s3.amazonaws.com/images.mentor.com/
	d3hnmhviacntp6.cloudfront.net

-->
<ruleset name="Mentor Graphics (partial)">

	<target host="codesourcery.com"/>
	<target host="www.codesourcery.com"/>
	<target host="mentor.com"/>
	<target host="*.mentor.com"/>
		<!--	* for cross-domain cookie.	-->
		<target host="*.store1.mentor.com"/>


	<securecookie host="^\.store1\.mentor\.com$" name=".*"/>


	<rule from="^https?://(?:www\.)?codesourcery\.com/"
		to="https://www.mentor.com/embedded-software/codesourcery"/>

	<!--	!www doesn't work.	-->
	<rule from="^http://mentor\.com/"
		to="https://www.mentor.com/"/>

	<rule from="^http://(accounts|store1?|supportnet)\.mentor\.com/"
		to="https://$1.mentor.com/"/>

	<!--	Cert: *.cloudfront.com	-->
	<rule from="^http://cache\.mentor\.com/"
		to="https://www.mentor.com/"/>

</ruleset>