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