2009-04-14 snej * The build process runs Doxygen only if it's installed (i.e. on the shell search path).