This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Final PATCH for Re: IMPORTANT 3.0 PATCH: gcc_release
- To: Mark Mitchell <mark at codesourcery dot com>
- Subject: Final PATCH for Re: IMPORTANT 3.0 PATCH: gcc_release
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Thu, 14 Jun 2001 02:46:25 +0200 (CEST)
- cc: <gcc-patches at gcc dot gnu dot org>
On Wed, 13 Jun 2001, Mark Mitchell wrote:
> Yes, thank you, happy vacation!
Thanks! Here is (probably) the final patch before I leave.
I have not installed this patch due to the change to ``changedir
"gcc-${RELEASE}"'' (which is required by my change), even though
the updated script survived a test run.
If you agree with this patch, could you please install it for me?
Gerald
2001-06-14 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
Jeff Law <law@redhat.com>
* gcc_release (build_sources): Obtain some documentation files
from the wwwdocs module.
Index: gcc_release
===================================================================
RCS file: /cvs/gcc/egcs/contrib/Attic/gcc_release,v
retrieving revision 1.1.2.10
diff -u -3 -p -r1.1.2.10 gcc_release
--- gcc_release 2001/06/14 00:11:29 1.1.2.10
+++ gcc_release 2001/06/14 00:40:36
@@ -131,9 +131,18 @@ build_sources() {
cp ${WORKING_DIRECTORY}/wwwdocs/htdocs/bugs.html ${SOURCE_DIRECTORY}
cp ${WORKING_DIRECTORY}/wwwdocs/htdocs/gnats.html ${SOURCE_DIRECTORY}
+ inform "Generating BUGS and GNATS"
+ changedir "${SOURCE_DIRECTORY}"
+ for file in *.html; do
+ newfile=`echo $file | sed -e 's/.html//' | tr "[:lower:]" "[:upper:]"`
+ lynx -dump $file \
+ | sed -e s#file://localhost${SOURCE_DIRECTORY}#http://gcc.gnu.org#g \
+ > $newfile
+ done
+
# For a prerelease or real release, we need to generate additional
# files not present in CVS.
- changedir "gcc-${RELEASE}"
+ changedir "${SOURCE_DIRECTORY}"
if [ $SNAPSHOT -ne 1 ]; then
# Generate the documentation.
inform "Building install docs"