[PATCH] Adjust develop.html to reflect recent practice

[Mark Mitchell]

Richard Guenther wrote:

> 2009-09-20  Richard Guenther  <rguenther@suse.de>
> 
> 	* develop.html: Adjust to reflect recent practice.

OK.

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713