Patch to update_web_docs: generate PostScript

["Joseph S. Myers" <jsm28 at cam dot ac dot uk>]

This patch makes update_web_docs generate PostScript versions of
manuals (since there is evidently a demand for readily downloadable
such); allows files to be checked out of the attic (since the move of
files to the doc directory requires this for documentation generation
from the 2.95 and 3.0 branches to continue to work); and removes
c-tree from the list of manuals to generate (since we don't link to
internals manuals for releases, and c-tree is part of the main manual
on the mainline).  Tested on gcc.gnu.org; OK to commit?

2001-06-05  Joseph S. Myers  <jsm28@cam.ac.uk>

	* update_web_docs, doc_exclude: Check out files that may be in the
	Attic.  Check out texinfo.tex.  Don't generate anything from
	c-tree.texi.  Generate PostScript output from manuals.

--- update_web_docs.orig	Mon Jun  4 15:52:12 2001
+++ update_web_docs	Tue Jun  5 09:39:49 2001
@@ -83,25 +83,27 @@
 cd $WORKDIR
 
 # Find all the texi files in the repository, except those in directories
-# we do not care about (Attic, texinfo, etc).
-find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc_exclude | sed -e s#$CVSROOT/##g -e s#,v##g > FILES
+# we do not care about (texinfo, etc).
+find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc_exclude | sed -e s#$CVSROOT/##g -e s#,v##g -e s#Attic/##g > FILES
 
 
 # Checkout all the texi files and get them into a single directory.
 # If we ever have texi files with the same name we'll have to do this
 # differently.
-cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html
+cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex
 mv `find . -name \*.texi -print` .
+mv `find . -name \*.tex -print` .
 
 # Now convert the relevant files from texi to html.
-for file in c-tree cpp chill cppinternals gcc gcj g77 objc-features porting; do
+for file in cpp chill cppinternals gcc gcj g77 objc-features porting; do
   if [ -e ${file}.texi ]; then
     /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi
+    texi2dvi ${file}.texi </dev/null && dvips -o ${file}.ps ${file}.dvi
   fi
 done
 
-# Then build a gzipped copy of each of the resulting .html files
-for file in *.html; do
+# Then build a gzipped copy of each of the resulting .html and .ps files
+for file in *.html *.ps; do
   cat $file | gzip --best > $file.gz
 done
 
@@ -113,13 +115,15 @@
 fi
 
 # And copy the resulting html files to the web server
-for file in *.html; do
+for file in *.html *.ps; do
   cat $DOCSDIR/$file | 
     sed -e '/^<!-- Created on/d' \
-        -e '/^by <I>GCC Administrator<\/I> on/d' > file1
+        -e '/^by <I>GCC Administrator<\/I> on/d' \
+        -e '/^%DVIPSSource:/d' > file1
   cat $file |
     sed -e '/^<!-- Created on/d' \
-        -e '/^by <I>GCC Administrator<\/I> on/d' > file2
+        -e '/^by <I>GCC Administrator<\/I> on/d' \
+        -e '/^%DVIPSSource:/d' > file2
   if cmp -s file1 file2; then
     :
   else
--- doc_exclude.orig	Fri Mar  9 23:40:46 2001
+++ doc_exclude	Tue Jun  5 09:26:32 2001
@@ -1,3 +1,2 @@
 texinfo
 etc
-Attic

-- 
Joseph S. Myers
jsm28@cam.ac.uk