This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
PATCH: maintainer-scripts/update_web_docs and thanks.html
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- To: gcc-patches at gcc dot gnu dot org
- Cc: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>, Jeffrey A Law <law at redhat dot com>
- Date: Sun, 6 Jan 2002 23:50:43 +0100 (CET)
- Subject: PATCH: maintainer-scripts/update_web_docs and thanks.html
Now that makeinfo gives us a permanent URL for our Contributors list
(http://gcc.gnu.org/onlinedocs/gcc/Contributors.html) we can get rid
of this hackery to "generate" thanks.html.
Jeff, do you remember this hack? I'm sure you're not too sorry that
it's gone now, are you? :-)
2002-01-06 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
* update_web_docs (contrib_file): Remove.
Also removing special handling of thanks.html.
I have installed this patch, `cvs update'd ~gccadmin/scripts on
gcc.gnu.org, and removed thanks.html/thanks.html.gz.
Gerald
Index: update_web_docs
===================================================================
RCS file: /cvs/gcc/gcc/maintainer-scripts/update_web_docs,v
retrieving revision 1.15
diff -u -3 -p -r1.15 update_web_docs
--- update_web_docs 2001/12/17 19:39:22 1.15
+++ update_web_docs 2002/01/06 22:44:10
@@ -74,9 +74,6 @@ fi
if [ -z "$RELEASE" ]; then
RELEASE=HEAD
- DO_THANKS_HTML=y
-else
- DO_THANKS_HTML=n
fi
WORKDIR=/tmp/gcc-doc-update.$$
@@ -142,7 +139,6 @@ done
news_file=g77/News.html
bugs_file=g77/Trouble.html
-contrib_file=gcc/Contributors.html
cd $DOCSDIR
@@ -154,14 +150,6 @@ ln $news_file g77_news.html
ln $bugs_file g77_bugs.html
ln ${news_file}.gz g77_news.html.gz
ln ${bugs_file}.gz g77_bugs.html.gz
-
-if [ "$DO_THANKS_HTML" = y ]; then
- cd $WWWBASE
- rm -f thanks.html
- rm -f thanks.html.gz
- ln onlinedocs/$contrib_file thanks.html
- ln onlinedocs/${contrib_file}.gz thanks.html.gz
-fi
# Finally, generate the installation documentation (but only for CVS HEAD).
if [ "$RELEASE" = "HEAD" ]; then