Skip to content
Snippets Groups Projects
Commit f0ac2193 authored by Joseph Myers's avatar Joseph Myers Committed by Joseph Myers
Browse files

update_web_docs_svn: Remove unnecessary files from source tree. 

	* 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
parent 01578564
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment