maintainer-scripts/update_web_docs_svn · 5af6d8d8bc0f56ef2648c4cb881cc94446bee68f · Yifan An / gcc

Forked from redox-os / gcc

Source project has a limited visibility.

19 years ago

* update_web_docs_svn: Remove unnecessary files from source tree. · b6fd6af0

jsm28 authored 19 years ago

	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

b6fd6af0

History

* update_web_docs_svn: Remove unnecessary files from source tree.

jsm28 authored 19 years ago

	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