* update_web_docs_svn: Remove unnecessary files from source tree.
	Use set -e.
	* doc_exclude, update_web_docs, update_web_docs_libstdcxx: Remove.

From-SVN: r108698