2001-06-11  Matthias Klose  <doko@debian.org>
            Phil Edwards  <pme@sources.redhat.com>

	* docs/doxygen/run_doxygen (find_doxygen):  Tweak version check.
	(main script):  Echo more information.

Co-Authored-By: Phil Edwards <pme@gcc.gnu.org>

From-SVN: r43184