[libstdc++ 3.1] Merge documentation from mainline

[Phil Edwards]

As per v3 conventions, our documentation is only checked in on the trunk,
and then bulk-merged to the branches before a release.  Differences between
versions are handled in the text content itself rather than maintaining
different revisions.  This is such a merge.

I meant to do this two days ago but got bogged down in meatspace tasks.


2002-07-20  Phil Edwards  <pme@gcc.gnu.org>

	Bulk documentation merge (copy) from trunk.
	* docs/doxygen/TODO, docs/doxygen/run_doxygen, docs/doxygen/tables.html,
	docs/doxygen/user.cfg.in, docs/html/Makefile,
	docs/html/documentation.html, docs/html/17_intro/porting.html,
	docs/html/17_intro/porting.texi, docs/html/23_containers/howto.html,
	docs/html/ext/howto.html, docs/html/ext/lwg-active.html,
	docs/html/ext/lwg-defects.html, docs/html/faq/index.html,
	docs/html/faq/index.txt:  Merge from trunk.