Patch to update_web_docs

["Joseph S. Myers" <jsm at polyomino dot org dot uk>]

The following patch implements a feature for update_web_docs that has been
requested several times: downloadable tarballs of Texinfo sources and HTML
manuals.  Tested, applied to mainline and copy on gcc.gnu.org updated (I
notice that the scripts directory has uncommitted changes to
snapshot-README and snapshot-index.html).  I've run the new script for
past releases from 3.1 onwards (the releases that can use this version of
the script) to generate these tarballs for those releases.

Index: ChangeLog
===================================================================
RCS file: /cvs/gcc/gcc/maintainer-scripts/ChangeLog,v
retrieving revision 1.87
diff -u -r1.87 ChangeLog
--- ChangeLog	2 Jan 2004 08:36:59 -0000	1.87
+++ ChangeLog	3 Jan 2004 21:15:13 -0000
@@ -1,3 +1,8 @@
+2004-01-03  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+	* update_web_docs: Create tarballs of documentation sources and
+	HTML docs.
+
 2004-01-02  Gerald Pfeifer  <gp@suse.de>
 
 	* update_version: Add some documentation.
Index: update_web_docs
===================================================================
RCS file: /cvs/gcc/gcc/maintainer-scripts/update_web_docs,v
retrieving revision 1.20
diff -u -r1.20 update_web_docs
--- update_web_docs	17 Sep 2002 18:14:37 -0000	1.20
+++ update_web_docs	3 Jan 2004 21:15:13 -0000
@@ -88,7 +88,10 @@
 
 
 # Checkout all the texi files.
-cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/doc/include/texinfo.tex
+cvs -Q export -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/doc/include/texinfo.tex
+
+# Build a tarball of the sources.
+tar cf docs-sources.tar gcc
 
 # The directory to pass to -I; this is the one with texinfo.tex
 # and fdl.texi.
@@ -101,13 +104,14 @@
   filename=`find . -name ${file}.texi`
   if [ "${filename}" ]; then
     makeinfo --html -I ${includedir} -I `dirname ${filename}` ${filename}
+    tar cf ${file}-html.tar ${file}/*.html
     texi2dvi -I ${includedir} ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi
     mkdir -p $DOCSDIR/$file
   fi
 done
 
-# Then build a gzipped copy of each of the resulting .html and .ps files
-for file in */*.html *.ps; do
+# Then build a gzipped copy of each of the resulting .html, .ps and .tar files
+for file in */*.html *.ps *.tar; do
   cat $file | gzip --best > $file.gz
 done
 
@@ -121,8 +125,8 @@
   done
 fi
 
-# And copy the resulting html files to the web server
-for file in */*.html *.ps; do
+# And copy the resulting files to the web server
+for file in */*.html *.ps *.tar; do
   cat $DOCSDIR/$file | 
     sed -e '/^<meta name=generator/d' \
         -e '/^%DVIPSSource:/d' > file1

-- 
Joseph S. Myers
jsm@polyomino.org.uk