Skip to content
Snippets Groups Projects
Commit b6fd6af0 authored by jsm28's avatar jsm28
Browse files

* update_web_docs_svn: Remove unnecessary files from source tree. 

	Use set -e.
	* doc_exclude, update_web_docs, update_web_docs_libstdcxx: Remove.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108698 138bc75d-0d04-0410-961f-82ee72b054a4
parent d8d8579c
No related branches found
No related tags 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