Here is the official patch for the introduction of Doxygen that I
proposed last fall.

This differs from the RFC version in including a filter as
suggested by Pedro, and having an index page that points to the
different sets of pages.

Among other things, the filter gives us the option of flagging
Doxygen comments with "/* * ", which is lower-impact than the
previous requirement of putting "/**" on a line by itself - in
other words, just adding a " *" to existing comments.

As before, "cd doc; make doxy" in an objdir creates, then browse
doc/doxy/index.html to connect to everything.

In the absence of any fatal flaws, I expect to commit this next
week, and then follow up with patches that doxygenate some
representative header files.  At some point we'll also want to
add a snapshot-generated set of pages to the website.

Stan
stan@codesourcery.com

2014-02-06  Stan Shebs  <stan@codesourcery.com>

	Add Doxygen support.
	* Makefile.in (doxy): New action, generates Doxygen files.
	(DOXYGEN): New.
	(doxyedit): New.
	* Doxyfile-base.in: New file.
	* Doxyfile-gdb-api.in: New file.
	* Doxyfile-gdb-xref.in: New file.
	* Doxyfile-gdbserver.in: New file.
	* doxy-index.in: New file.
	* filter-for-doxygen: New file.
	* filter-params.pl: New file.