maintainer-scripts/update_web_docs_svn · 4402e89a78c0c7b709be91b4033e1dab1c5ecee1 · Yifan An / gcc

"recipes/dev/git/git.patch" did not exist on "1dd0e467211716ebfd4ee5a07f67e40f43776d39"

Blame

Forked from redox-os / gcc

Source project has a limited visibility.

19 years ago

b6fd6af0

* 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