From 76bd0340a19cf726a9a90e9c3943cf691ae00b18 Mon Sep 17 00:00:00 2001
From: gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 13 Jun 2001 23:03:45 +0000
Subject: [PATCH] 	* gcc_release (build_sources): Obtain some
 documentation files 	from the wwwdocs module.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-3_0-branch@43353 138bc75d-0d04-0410-961f-82ee72b054a4
---
 contrib/ChangeLog   |  5 +++++
 contrib/gcc_release | 10 ++++++++++
 2 files changed, 15 insertions(+)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 87a837a5064..d47f830052d 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,8 @@
+2001-06-14  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
+
+	* gcc_release (build_sources): Obtain some documentation files
+	from the wwwdocs module.
+
 2001-06-13  Mark Mitchell  <mark@codesourcery.com>
 
 	* gcc_release (-b): Remove option. 
diff --git a/contrib/gcc_release b/contrib/gcc_release
index b3e2bcb55c2..1466302751e 100755
--- a/contrib/gcc_release
+++ b/contrib/gcc_release
@@ -122,8 +122,18 @@ build_sources() {
   changedir "gcc-${RELEASE}"
   contrib/gcc_update --touch
 
+  # Obtain some documentation files from the wwwdocs module.
+  inform "Retrieving bugs.html and gnats.html"
+  changedir "${WORKING_DIRECTORY}"
+  ${CVS} \
+       -z 9 export \
+	-r HEAD wwwdocs/htdocs/bugs.html wwwdocs/htdocs/gnats.html
+  cp ${WORKING_DIRECTORY}/wwwdocs/htdocs/bugs.html ${SOURCE_DIRECTORY}
+  cp ${WORKING_DIRECTORY}/wwwdocs/htdocs/gnats.html ${SOURCE_DIRECTORY}
+
   # For a prerelease or real release, we need to generate additional
   # files not present in CVS.
+  changedir "gcc-${RELEASE}"
   if [ $SNAPSHOT -ne 1 ]; then
     # Generate the documentation.
     inform "Building install docs"
-- 
2.11.4.GIT