update_web_docs: Don't generate HTML from gxxint.texi.

	* update_web_docs: Don't generate HTML from gxxint.texi.  Don't
	run texi2html on manuals that aren't present.

From-SVN: r41789

maintainer-scripts/ChangeLog

+2001-05-03  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+	* update_web_docs: Don't generate HTML from gxxint.texi.  Don't
+	run texi2html on manuals that aren't present.
+
 2001-03-18  Phil Edwards  <pme@sources.redhat.com>
 
 	* update_web_docs_libstdcxx:  New script.

maintainer-scripts/update_web_docs

@@ -91,8 +91,10 @@ cvs -Q co -r$RELEASE `cat FILES`
 mv `find . -name \*.texi -print` .
 
 # Now convert the relavent files from texi to html 
-for file in c-tree cpp chill cppinternals gcc gcj gxxint g77 objc-features porting; do 
-  /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi
+for file in c-tree 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
+  fi
 done
 
 # Then build a gzipped copy of each of the resulting .html files