Latest GCC didn't autobuild on arm

[Nathanael Nerode]

It somehow seems not to have installed doxygen, for unknown reasons.
Hopefully this can be resolved ASAP? ...

-- 
Nathanael Nerode  <neroden at gcc.gnu.org>
http://home.twcny.rr.com/nerode/neroden/fdl.html