diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2005-12-16 23:59:10 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2005-12-16 23:59:10 +0000 |
| commit | f0ac2193cb06a23464d1e3d633b66cc37fb6586b (patch) | |
| tree | aed69468a1202ef3a63bdc9c8af4a0c4392167b7 /maintainer-scripts/doc_exclude | |
| parent | 01578564782255d41967745d43d11720cee0ad6d (diff) | |
| download | gcc-f0ac2193cb06a23464d1e3d633b66cc37fb6586b.zip gcc-f0ac2193cb06a23464d1e3d633b66cc37fb6586b.tar.gz gcc-f0ac2193cb06a23464d1e3d633b66cc37fb6586b.tar.bz2 | |
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
Diffstat (limited to 'maintainer-scripts/doc_exclude')
| -rw-r--r-- | maintainer-scripts/doc_exclude | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/maintainer-scripts/doc_exclude b/maintainer-scripts/doc_exclude deleted file mode 100644 index 0efe47a..0000000 --- a/maintainer-scripts/doc_exclude +++ /dev/null @@ -1,2 +0,0 @@ -texinfo -etc |